Dualities for structures of applied logics
algebraBoolean algebra with operatorsBoolean latticediscrete dualitydistributive latticedualityduality via truthframelatticelattice with operatorsrepresentation
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logical aspects of Boolean algebras (03G05) Logical aspects of lattices and related structures (03G10) Cylindric and polyadic algebras; relation algebras (03G15) Other algebras related to logic (03G25) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02) Representation theory of lattices (06B15) Complemented lattices, orthocomplemented lattices and posets (06C15) Structure and representation theory of distributive lattices (06D05) Pseudocomplemented lattices (06D15) Heyting algebras (lattice-theoretic aspects) (06D20)
- Towards automating duality
- Duality for lattice-ordered algebras and for normal algebraizable logics
- Duality for algebras of relevant logics
- An algebraic study of tense operators on Nelson algebras
- A duality for two-sorted lattices
- Algorithmic correspondence and canonicity for non-distributive logics
- A discrete representation of lattice frames
- Duality results for (co)residuated lattices
- Functorial duality for ortholattices and De Morgan lattices
- Discrete duality for Nelson algebras with tense operators
- Intuitionistic propositional logic with Galois negations
- Constructing the Lindenbaum algebra for a logic step-by-step using duality
- Duality via truth for information algebras based on De Morgan lattices
- Discrete duality for 3-valued Łukasiewicz-Moisil algebras
- Structures with multirelations, their discrete dualities and applications
- Discrete duality for lattices with modal operators
- Algebraic methods for granular rough sets
- Algebraic representation, dualities and beyond
- Discrete dualities for some algebras with relations
- Mixed algebras and their logics
- Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
- Discrete dualities for groupoids
- Knowledge algebras and their discrete duality
- Context Algebras, Context Frames, and Their Discrete Duality
- Duality via Truth: Semantic frameworks for lattice-based logics
- Relational Methods in Computer Science
- On Heyting algebras with negative tense operators
- Representations and dualities for bounded lattices
- Discrete dualities for double Stone algebras
- Duality via truth for some fuzzy modal logic
- Guttman algebras and a model checking procedure for Guttman scales
- From modal Ockham algebras to modal Berman variety: relational semantics and Kripke-completeness
- Polynomial-time equational theory for lattices with unary operators
- A categorical analysis of compatibility frames
- T-rough symmetric Heyting algebras with tense operators
- Betweenness algebras
- Algebras for Galois-style connections and their discrete duality
This page was built for publication: Dualities for structures of applied logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3467535)
