Frontal operators in weak Heyting algebras
From MaRDI portal
Publication:454367
DOI10.1007/S11225-012-9390-2zbMATH Open1272.06022OpenAlexW2111979092MaRDI QIDQ454367FDOQ454367
Hernán J. San Martín, Sergio A. Celani
Publication date: 1 October 2012
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: http://sedici.unlp.edu.ar/handle/10915/114720
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
Other algebras related to logic (03G25) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50)
Cites Work
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Varieties of complex algebras
- Title not available (Why is that?)
- On superintuitionistic logics as fragments of proof logic extensions
- A closer look at some subintuitionistic logics
- The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
- Title not available (Why is that?)
- An algebraic approach to intuitionistic connectives
- Bounded distributive lattices with strict implication
- Remarks on Priestley duality for distributive lattices
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logics Which Are Characterized by Subresiduated Lattices
- Basic Propositional Calculus I
- Title not available (Why is that?)
Cited In (6)
- Principal congruences in weak Heyting algebras
- n‐linear weakly 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)
