On the universality of atomic and molecular logics via protologics

DOI10.1007/s11787-022-00298-5OpenAlexW4283788950MaRDI QIDQ2169136

Guillaume Aucher

Publication date: 1 September 2022

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-022-00298-5

zbMATH Keywords

expressivitynon-classical logicsfirst-order logicsuniversal logic

Mathematics Subject Classification ID

General logic (03Bxx) Mathematical logic and foundations (03-XX) Model theory (03Cxx)

Cites Work

• On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
• Negation in the context of gaggle theory
• A global glance on categories in logic
• Quantifiers as modal operators
• Multi-dimensional modal logic
• Semantic analysis of orthologic
• What is a logic translation?
• Displaying updates in logic
• Kripke models for linear logic
• The Mathematics of Sentence Structure
• Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
• The Undecidability of Monadic Modal Quantification Theory
• Axioms for abstract model theory
• Institutions: abstract model theory for specification and programming
• Substructural logics on display
• Basic logic: reflection, symmetry, visibility
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the universality of atomic and molecular logics via protologics