On the universality of atomic and molecular logics via protologics

DOI10.1007/S11787-022-00298-5OpenAlexW4283788950MaRDI QIDQ2169136FDOQ2169136

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

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

zbMATH Keywords

non-classical logicsexpressivityfirst-order logicsuniversal logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

• A van Benthem theorem for atomic and molecular logics
• Title not available (Why is that?)

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)