Proof Normalisation in a Logic Identifying Isomorphic Propositions - Laboratoire Méthodes Formelles Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Proof Normalisation in a Logic Identifying Isomorphic Propositions

Résumé

We define a fragment of propositional logic where isomorphic propositions, such as A ∧ B and B ∧ A, or A ⇒ (B ∧ C) and (A ⇒ B) ∧ (A ⇒ C) are identified. We define System I, a proof language for this logic, and prove its normalisation and consistency.
Fichier principal
Vignette du fichier
proofnormalization.pdf (614.14 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02909135 , version 1 (30-07-2020)

Identifiants

  • HAL Id : hal-02909135 , version 1

Citer

Alejandro Díaz-Caro, Gilles Dowek. Proof Normalisation in a Logic Identifying Isomorphic Propositions. FSCD 2019 - International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. ⟨hal-02909135⟩
37 Consultations
26 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More