Relational Representation Theorems for General Lattices with Negations
From MaRDI portal
(Redirected from Relational Representation Theorems for General Lattices with Negations)
Recommendations
- Canonical extensions and relational representations of lattices with negation
- scientific article; zbMATH DE number 1367576
- Order-duality, negation and lattice representation
- Representing lattices using many-valued relations
- Representation theorems for lattice-ordered modal algebras and their axiomatic extensions
Cited in
(16)- Canonical extensions and relational representations of lattices with negation
- Order-duality, negation and lattice representation
- Representation of Steinitz's lattice in lattices of substructures of relational structures
- Discrete duality for 3-valued Łukasiewicz-Moisil algebras
- Discrete duality for De Morgan algebras with operators
- Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
- Representation of lattices with modal operators in two-sorted frames
- Discrete dualities for double Stone algebras
- Finite model property in normal extensions of Euclidean quasi-Boolean modal logics
- From modal Ockham algebras to modal Berman variety: relational semantics and Kripke-completeness
- A categorical analysis of compatibility frames
- Choice-free dualities for lattice expansions: application to logics with a negation operator
- Discrete dualities for Monteiro's tetravalent modal algebras
- Kripke-completeness and sequent calculus for quasi-Boolean modal logic
- Representation theorems for some fuzzy logics based on residuated non-distributive lattices
- Algebras for Galois-style connections and their discrete duality
This page was built for publication: Relational Representation Theorems for General Lattices with Negations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5459180)
