Canonical extensions and relational representations of lattices with negation
From MaRDI portal
Publication:1015482
Recommendations
- Relational Representation Theorems for General Lattices with Negations
- Order-duality, negation and lattice representation
- Bounded lattice expansions
- Negations and contrapositions of complete lattices
- Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
Cites work
- scientific article; zbMATH DE number 1249514 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- A first order proof of a theorem of Frink
- Bounded lattice expansions
- Canonical extensions and relational completeness of some substructural logics
- Dicomplemented lattices. A contextual generalization of Boolean algebras
- Generalized Kripke frames
- MacNeille completions of lattice expansions
- Minimally generated Boolean algebras
- Negation in the context of gaggle theory
- Relational Representation Theorems for General Lattices with Negations
- Representations of Boolean algebras
Cited in
(8)- Canonical extensions and ultraproducts of polarities
- Relational semantics for full linear logic
- A semantic analysis of some distributive logics with negation
- A logic for paraconsistent transition systems
- \(\Delta_1\)-completions of a poset.
- Relational Representation Theorems for General Lattices with Negations
- Periodicity of negation
- Order-duality, negation and lattice representation
This page was built for publication: Canonical extensions and relational representations of lattices with negation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1015482)
