Proof Normalisation in a Logic Identifying Isomorphic Propositions - Inria - Institut national de recherche en sciences et technologies du numérique 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⟩
30 Consultations
24 Téléchargements

Partager

Gmail Facebook X LinkedIn More