Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic

DOI10.1007/s00500-019-04536-9zbMath1437.03085OpenAlexW2991124533MaRDI QIDQ780272

Daniela Montangie, Sergio Arturo Celani

Publication date: 15 July 2020

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-019-04536-9

zbMATH Keywords

topological representationHilbert algebrasmodal operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Fragments of quasi-Nelson: residuation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hilbert algebras with supremum
• Representation and duality for Hilbert algebras
• Models for stronger normal intuitionistic modal logics
• Modal operators on Heyting algebras
• Propositional lax logic
• Representation of Hilbert algebras and implicative semilattices
• A note on homomorphisms of Hilbert algebras
• An algebraic approach to subframe logics. Intuitionistic case
• Simple and subdirectly irreducibles bounded distributive lattices with unary operators
• Frames and Locales
• Cover semantics for quantified lax logic
• Grothendieck Topology as Geometric Modality
• A Complete Semantics for Implicational Logics
• Implicative Semi-Lattices
• HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR
• Two additions to positive implication

This page was built for publication: Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic