Recommendations
- On frontal Heyting algebras
- On frontal operators in Hilbert algebras
- Heyting algebras with operators
- n‐linear weakly Heyting algebras
- Frontal operators in distributive lattices with a generalized implication.
- On some compatible operations on Heyting algebras
- Fraïssé theory in operator algebras
- On self‐distributive weak Heyting algebras
- scientific article; zbMATH DE number 5241983
- SYMMETRICAL HEYTING ALGEBRAS WITH OPERATORS
Cites work
- scientific article; zbMATH DE number 3968648 (Why is no real title available?)
- scientific article; zbMATH DE number 3976993 (Why is no real title available?)
- scientific article; zbMATH DE number 3463628 (Why is no real title available?)
- scientific article; zbMATH DE number 5241983 (Why is no real title available?)
- A closer look at some subintuitionistic logics
- An algebraic approach to intuitionistic connectives
- Basic Propositional Calculus I
- Bounded distributive lattices with strict implication
- Logics Which Are Characterized by Subresiduated Lattices
- On frontal Heyting algebras
- On superintuitionistic logics as fragments of proof logic extensions
- On the variety of Heyting algebras with successor generated by all finite chains
- Remarks on Priestley duality for distributive lattices
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators
- The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
- Varieties of complex algebras
Cited in
(8)- Principal congruences in weak Heyting algebras
- On frontal operators in Hilbert algebras
- n‐linear weakly Heyting algebras
- On frontal Heyting algebras
- Compatible operations on commutative weak residuated lattices
- A study on some classes of distributive lattices with a generalized implication
- On principal congruences in distributive lattices with a commutative monoidal operation and an implication
- Synopsis of fronton theory
This page was built for publication: Frontal operators in weak Heyting algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q454367)