Frontal operators in weak Heyting algebras

DOI10.1007/S11225-012-9390-2MaRDI QIDQ454367zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

Priestley dualityfrontal operatorsmodal operatorsweak Heyting algebras

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50)

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)