Algebraic semantics for one-variable lattice-valued logics

MaRDI QIDQ5884949zbMATH OpenFDO

Authors George Metcalfe, Petr Cintula

Publication date 24 March 2023

Full work available at URL https://arxiv.org/abs/2209.08566

zbMATH Keywords

interpolationlattice-valued logicsmodal logicone-variable fragmentsequent calculussubstructural logicssuperamalgamation

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)

Recommendations

• One-variable fragments of intermediate logics over linear frames
• Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
• The one-variable fragment of corsi logic
• scientific article; zbMATH DE number 1303433

Cited in

(7)

• One-variable logic meets Presburger arithmetic
• The one-variable fragment of corsi logic
• One-variable fragments of intermediate logics over linear frames
• A monadic logic of ordered abelian groups
• Algebraic semantics for one-variable lattice-valued logics
• One-variable fragments of first-order logics
• Strong standard completeness theorems for S5-modal Łukasiewicz logics

This page was built for publication: Algebraic semantics for one-variable lattice-valued logics

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