Sur la décidabilité de la logique du premier ordre monadique en Calcul des séquents

Jean-Baptiste Joinet 1
1 IRPhiL - Institut de recherches philosophiques de Lyon
Document type :
Journal articles
Complete list of metadatas
https://hal-univ-lyon3.archives-ouvertes.fr/hal-01787572
Contributor : Jean-Baptiste Joinet <>
Submitted on : Monday, May 7, 2018 - 4:20:25 PM
Last modification on : Wednesday, November 20, 2019 - 8:18:28 AM

Identifiers

  • HAL Id : hal-01787572, version 1

Collections

UNIV-LYON3 | INSMI | UDL

Citation

Jean-Baptiste Joinet. Sur la décidabilité de la logique du premier ordre monadique en Calcul des séquents. O que nos faz pensar, Pontifica Universidade PUC-Rio, 2017, 25 (39), pp.55-69. ⟨hal-01787572⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

65

Contact

Informations

CCSD