scientific article

zbMath1337.03002MaRDI QIDQ3467535

Ewa S. Orłowska, Anna Maria Radzikowsa, Ingrid Rewitzky

Publication date: 2 February 2016

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

latticedualityrepresentationBoolean latticedistributive latticeframealgebraBoolean algebra with operatorsdiscrete dualityduality via truthlattice with operators

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Representation theory of lattices (06B15) Structure and representation theory of distributive lattices (06D05) Other algebras related to logic (03G25) Complemented lattices, orthocomplemented lattices and posets (06C15) Pseudocomplemented lattices (06D15) Logical aspects of Boolean algebras (03G05) Cylindric and polyadic algebras; relation algebras (03G15) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)

Related Items (13)

Mixed algebras and their logics ⋮ Duality results for (co)residuated lattices ⋮ On Heyting algebras with negative tense operators ⋮ Discrete duality for Nelson algebras with tense operators ⋮ Intuitionistic propositional logic with Galois negations ⋮ Unnamed Item ⋮ Discrete duality for 3-valued Łukasiewicz–Moisil algebras ⋮ Algebraic Methods for Granular Rough Sets ⋮ Algebraic Representation, Dualities and Beyond ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ An algebraic study of tense operators on Nelson algebras ⋮ Unnamed Item ⋮ Application of Urquhart’s Representation of Lattices to Some Non–classical Logics

This page was built for publication: