Intuitionistic modal algebras
From MaRDI portal
Publication:6562368
Cites work
- scientific article; zbMATH DE number 440121 (Why is no real title available?)
- scientific article; zbMATH DE number 3931080 (Why is no real title available?)
- scientific article; zbMATH DE number 3987345 (Why is no real title available?)
- scientific article; zbMATH DE number 120346 (Why is no real title available?)
- scientific article; zbMATH DE number 2013229 (Why is no real title available?)
- A categorical duality for semilattices and lattices
- A propositional logic with explicit fixed points
- Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic
- An algebraic approach to subframe logics. Intuitionistic case
- An ecumenical notion of entailment
- Bounded distributive lattices with strict implication
- Congruence lattices of pseudocomplemented semilattices
- Constructible falsity
- Diego's theorem for nuclear implicative semilattices
- Duality for finite Hilbert algebras
- Fragments of quasi-Nelson: residuation
- Fragments of quasi-Nelson: the algebraizable core
- Fragments of quasi-Nelson: two negations
- HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR
- Hilbert algebras with supremum
- Idempotent residuated structures: Some category equivalences and their applications
- Modal operators on Heyting algebras
- Negation and Implication in Quasi-Nelson Logic
- Nelson algebras through Heyting ones. I
- Propositional lax logic
- Pseudo-complements in semi-lattices
- Quasi-Nelson algebras and fragments
- Quasi-Nelson; or, non-involutive Nelson algebras
- Representation and duality for Hilbert algebras
- Representation of De Morgan and (semi-)Kleene lattices
- Representation of Hilbert algebras and implicative semilattices
- Residuated lattices. An algebraic glimpse at substructural logics
- Some remarks on distributive semilattices
This page was built for publication: Intuitionistic modal algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6562368)