Display and Hilbert Calculi for Atomic and Molecular Logics - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 2022

Display and Hilbert Calculi for Atomic and Molecular Logics

Résumé

Sound and strongly complete display calculi for basic atomic and molecular logics are introduced with a Kripke-style relational semantics. These logics are based on Dunn's gaggle theory and generalize modal logics. We also provide sound and strongly complete Hilbert calculi for basic atomic logics with a Kripke-style relational semantics. All these calculi can be automatically computed from the definition of the connectives constituting a basic atomic or molecular logic, yet with some restrictions on the class of molecular logics.
Fichier principal
Vignette du fichier
AtomicMolecularLogicsCorrespondenceTheoryPart1.pdf (631.38 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : CC BY NC ND - Paternité - Pas d'utilisation commerciale - Pas de modification

Dates et versions

hal-03800002 , version 1 (06-10-2022)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

  • HAL Id : hal-03800002 , version 1

Citer

Guillaume Aucher. Display and Hilbert Calculi for Atomic and Molecular Logics. [Research Report] Université de Rennes 1. 2022. ⟨hal-03800002⟩
110 Consultations
42 Téléchargements

Partager

Gmail Facebook X LinkedIn More