One-variable fragments of first-order logics
DOI10.1017/BSL.2024.22MaRDI QIDQ6636687
Petr Cintula, George Metcalfe, Author name not available (Why is that?)
Publication date: 12 November 2024
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
modal logicfirst-order logicsequent calculussubstructural logicone-variable fragmentsuperamalgamation
Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Equational classes, universal algebra in model theory (03C05)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- MacNeille completions of FL-algebras
- Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics
- Modal tableau calculi and interpolation
- Residuated lattices. An algebraic glimpse at substructural logics
- An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
- Predicate logics without the structure rules
- Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
- Varieties of monadic Heyting algebras. I
- Functional monadic Heyting algebras.
- On monadic MV-algebras
- Completeness for monadic fuzzy logics via functional algebras
- Decidability of order-based modal logics
- One-variable fragments of intermediate logics over linear frames
- Logics without the contraction rule
- Logic and Implication
- Bi-modal Godel logic over [0,1]-valued Kripke frames
- MIPC as the formalisation of an intuitionist concept of modality
- Residuated Structures in Algebra and Logic
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)
