Generalized Keisler Theorems for Atomic and Molecular Logics - Archive ouverte HAL Accéder directement au contenu
Rapport Année : 2022

Generalized Keisler Theorems for Atomic and Molecular Logics

Résumé

The Keisler theorems dealing with the definability in first-order logic of classes of structures are adapted to atomic and molecular logics. These logics are based on Dunn's gaggle theory and generalize modal logics. We show how notions of bisimulation can be automatically defined from the truth conditions of the connectives of any atomic or molecular logic. Then, we adapt the basic notion of ultraproduct of first-order logic to our atomic and molecular logics. This allows us to state our generalized Keisler theorems. The connectives of molecular logics should be in a specific format called 'normality' for our theorems to hold. We consider modal logic, the Lambek calculus, (modal) intuitionistic logic, weakly aggregative modal logic and temporal logic as case study. In a companion article [3], we use and extend these results to first-order logic and protologics, i.e. logics such that the truth conditions of their connectives are expressible by first-order formulas.
Fichier principal
Vignette du fichier
HALreportModelTheoryAtomicMolecularLogicsPart1.pdf (500.06 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03884240 , version 1 (05-12-2022)

Licence

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

Identifiants

  • HAL Id : hal-03884240 , version 1

Citer

Guillaume Aucher. Generalized Keisler Theorems for Atomic and Molecular Logics. Université de Rennes 1. 2022. ⟨hal-03884240⟩
76 Consultations
37 Téléchargements

Partager

Gmail Facebook X LinkedIn More