Algebraic semantics of the \ , \ -fragment of propositional lax logic
DOI10.1007/S00500-019-04536-9zbMATH Open1437.03085OpenAlexW2991124533MaRDI QIDQ780272FDOQ780272
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
Recommendations
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)
Cites Work
- Frames and Locales
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An algebraic approach to subframe logics. Intuitionistic case
- Semilattice structures.
- Propositional lax logic
- Cover semantics for quantified lax logic
- Representation and duality for Hilbert algebras
- A note on homomorphisms of Hilbert algebras
- Hilbert algebras with supremum
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators
- Grothendieck Topology as Geometric Modality
- Implicative Semi-Lattices
- Models for stronger normal intuitionistic modal logics
- Modal operators on Heyting algebras
- Representation of Hilbert algebras and implicative semilattices
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Complete Semantics for Implicational Logics
- HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR
- Two additions to positive implication
Cited In (3)
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)
