Dualities for structures of applied logics
latticedualityalgebraframerepresentationdistributive latticeBoolean latticeBoolean algebra with operatorsdiscrete dualityduality via truthlattice with operators
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other algebras related to logic (03G25) Representation theory of lattices (06B15) Logical aspects of lattices and related structures (03G10) Cylindric and polyadic algebras; relation algebras (03G15) Structure and representation theory of distributive lattices (06D05) Pseudocomplemented lattices (06D15) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical aspects of Boolean algebras (03G05) Heyting algebras (lattice-theoretic aspects) (06D20) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)
- Discrete duality for 3-valued Łukasiewicz-Moisil algebras
- Discrete duality for lattices with modal operators
- Discrete dualities for some algebras with relations
- scientific article; zbMATH DE number 7552279 (Why is no real title available?)
- T-rough symmetric Heyting algebras with tense operators
- Representations and dualities for bounded lattices
- Mixed algebras and their logics
- An algebraic study of tense operators on Nelson algebras
- Guttman algebras and a model checking procedure for Guttman scales
- Algebraic methods for granular rough sets
- On Heyting algebras with negative tense operators
- A duality for two-sorted lattices
- Knowledge algebras and their discrete duality
- Betweenness algebras
- Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
- Duality for lattice-ordered algebras and for normal algebraizable logics
- Algebras for Galois-style connections and their discrete duality
- Functorial duality for ortholattices and De Morgan lattices
- Duality via truth for information algebras based on De Morgan lattices
- From modal Ockham algebras to modal Berman variety: relational semantics and Kripke-completeness
- Discrete dualities for double Stone algebras
- Polynomial-time equational theory for lattices with unary operators
- Duality via Truth: Semantic frameworks for lattice-based logics
- Towards automating duality
- A categorical analysis of compatibility frames
- Relational Methods in Computer Science
- Duality results for (co)residuated lattices
- Algebraic representation, dualities and beyond
- Discrete duality for Nelson algebras with tense operators
- Intuitionistic propositional logic with Galois negations
- Algorithmic correspondence and canonicity for non-distributive logics
- Context Algebras, Context Frames, and Their Discrete Duality
- Constructing the Lindenbaum algebra for a logic step-by-step using duality
- Duality via truth for some fuzzy modal logic
- Structures with multirelations, their discrete dualities and applications
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)
