Completeness of infinitary heterogeneous logic - Université de La Réunion Accéder directement au contenu
Article Dans Une Revue (Article De Synthèse) Notre Dame Journal of Formal Logic Année : 2024
Fichier non déposé

Dates et versions

hal-04565553 , version 1 (02-05-2024)

Identifiants

  • HAL Id : hal-04565553 , version 1

Citer

Christian Espíndola. Completeness of infinitary heterogeneous logic. Notre Dame Journal of Formal Logic, In press. ⟨hal-04565553⟩
0 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More