Admissibility in Alt × Alt is undecidable

Pré-Publication, Document De Travail Année : 2022

(1, 2)

1
2

Philippe Balbiani

Logique, Interaction, Langue et Calcul

Centre National de la Recherche Scientifique

In this note, we prove that admissibility in Alt × Alt is undecidable.

Logique en informatique [cs.LO]

Fichier principal

UNDECIDABILITY.pdf (150.57 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://hal.science/hal-03766388

Soumis le : jeudi 1 septembre 2022-09:05:54

Dernière modification le : lundi 20 novembre 2023-11:44:23

Archivage à long terme le : vendredi 2 décembre 2022-18:10:21

hal-03766388 , version 1 (01-09-2022)

Philippe Balbiani. Admissibility in Alt × Alt is undecidable. 2022. ⟨hal-03766388⟩

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-LILAC IRIT-IA TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP

39 Consultations

31 Téléchargements