One-variable fragments of first-order logics

DOI10.1017/BSL.2024.22MaRDI QIDQ6636687zbMATH OpenFDO

Authors Petr Cintula, George Metcalfe

Publication date 12 November 2024

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/BSL.2024.22

zbMATH Keywords

first-order logicmodal logicone-variable fragmentsequent calculussubstructural logicsuperamalgamation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Equational classes, universal algebra in model theory (03C05) Logic with extra quantifiers and operators (03C80) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites work

• A monadic logic of ordered abelian groups
• Algebraic semantics for one-variable lattice-valued logics
• An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
• Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
• Completeness for monadic fuzzy logics via functional algebras
• Decidability of order-based modal logics
• Functional monadic Heyting algebras.
• scientific article; zbMATH DE number 4139714 (Why is no real title available?)
• scientific article; zbMATH DE number 5365721 (Why is no real title available?)
• scientific article; zbMATH DE number 1181276 (Why is no real title available?)
• scientific article; zbMATH DE number 2138212 (Why is no real title available?)
• scientific article; zbMATH DE number 2168736 (Why is no real title available?)
• Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics
• Logic and Implication
• Logics without the contraction rule
• MacNeille completions of FL-algebras
• MIPC as the formalisation of an intuitionist concept of modality
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
• Modal tableau calculi and interpolation
• On monadic MV-algebras
• One-variable fragments of intermediate logics over linear frames
• Predicate logics without the structure rules
• Residuated lattices. An algebraic glimpse at substructural logics
• Residuated Structures in Algebra and Logic
• Varieties of monadic Heyting algebras. I

This page was built for publication: One-variable fragments of first-order logics

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