Canonical extensions and relational representations of lattices with negation
From MaRDI portal
Publication:1015482
DOI10.1007/S11225-009-9171-8zbMATH Open1172.03032OpenAlexW2075776012MaRDI QIDQ1015482FDOQ1015482
Authors: Agostinho Almeida 
Publication date: 8 May 2009
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-009-9171-8
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Negation in the context of gaggle theory
- Minimally generated Boolean algebras
- Canonical extensions and relational completeness of some substructural logics
- Bounded lattice expansions
- Generalized Kripke frames
- MacNeille completions of lattice expansions
- Relational Representation Theorems for General Lattices with Negations
- Dicomplemented lattices. A contextual generalization of Boolean algebras
- Representations of Boolean algebras
- A first order proof of a theorem of Frink
Cited In (7)
- Order-duality, negation and lattice representation
- Periodicity of negation
- Relational semantics for full linear logic
- Canonical extensions and ultraproducts of polarities
- Relational Representation Theorems for General Lattices with Negations
- \(\Delta_1\)-completions of a poset.
- A logic for paraconsistent transition systems
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)
