On the universality of atomic and molecular logics via protologics

DOI10.1007/S11787-022-00298-5MaRDI QIDQ2169136zbMATH OpenOpenAlexFDO

Authors 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

non-classical logicsexpressivityfirst-order logicsuniversal logic

Mathematics Subject Classification ID

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

Recommendations

• Protoalgebraic logics
• scientific article; zbMATH DE number 2109240
• Universality of logic
• Renominative composition-nominative logics with predicates of equality
• Towards universal logic: gaggle logics

Cites work

• scientific article; zbMATH DE number 5316600 (Why is no real title available?)
• scientific article; zbMATH DE number 5316601 (Why is no real title available?)
• scientific article; zbMATH DE number 5316606 (Why is no real title available?)
• scientific article; zbMATH DE number 549966 (Why is no real title available?)
• scientific article; zbMATH DE number 706263 (Why is no real title available?)
• scientific article; zbMATH DE number 753774 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 932649 (Why is no real title available?)
• scientific article; zbMATH DE number 5037203 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• A global glance on categories in logic
• A mathematical introduction to logic.
• Algebraic methods in philosophical logic
• An introduction to non-classical logic
• Axioms for abstract model theory
• Basic logic: reflection, symmetry, visibility
• Displaying updates in logic
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• Institutions: abstract model theory for specification and programming
• Kripke models for linear logic
• Multi-dimensional modal logic
• Negation in the context of gaggle theory
• On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
• Quantifiers as modal operators
• Semantic analysis of orthologic
• Substructural logics on display
• Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
• The Mathematics of Sentence Structure
• The Undecidability of Monadic Modal Quantification Theory
• Towards universal logic: gaggle logics
• Towards universal logic: gaggle logics
• What is a logic translation?

Cited in

(2)

• A van Benthem theorem for atomic and molecular logics
• scientific article; zbMATH DE number 7065571 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2169136)