Algebraic semantics of the \ , \ -fragment of propositional lax logic

DOI10.1007/S00500-019-04536-9MaRDI QIDQ780272zbMATHOpenAlexFDO

Authors Daniela Montangie, Sergio A. 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

Hilbert algebrastopological representationmodal operators

Mathematics Subject Classification ID

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

Recommendations

• HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR
• scientific article; zbMATH DE number 2079039
• Hilbert algebras with a modal operator \(\diamondsuit\)
• Cover semantics for quantified lax logic
• Algebraic semantics for the \((\leftrightarrow, \neg \neg)\)-fragment of IPC

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3935100 (Why is no real title available?)
• scientific article; zbMATH DE number 4027536 (Why is no real title available?)
• scientific article; zbMATH DE number 4031689 (Why is no real title available?)
• scientific article; zbMATH DE number 3231882 (Why is no real title available?)
• A Complete Semantics for Implicational Logics
• A note on homomorphisms of Hilbert algebras
• An algebraic approach to subframe logics. Intuitionistic case
• Cover semantics for quantified lax logic
• Frames and Locales
• Grothendieck Topology as Geometric Modality
• HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR
• Hilbert algebras with supremum
• Implicative Semi-Lattices
• Modal operators on Heyting algebras
• Models for stronger normal intuitionistic modal logics
• Propositional lax logic
• Representation and duality for Hilbert algebras
• Representation of Hilbert algebras and implicative semilattices
• Semilattice structures.
• Simple and subdirectly irreducibles bounded distributive lattices with unary operators
• Two additions to positive implication

Cited in

(3)

• scientific article; zbMATH DE number 3902023 (Why is no real title available?)
• Fragments of quasi-Nelson: residuation
• Intuitionistic modal algebras

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

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