Choice-free dualities for lattice expansions: application to logics with a negation operator
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 4016857 (Why is no real title available?)
- scientific article; zbMATH DE number 3940199 (Why is no real title available?)
- scientific article; zbMATH DE number 1249514 (Why is no real title available?)
- scientific article; zbMATH DE number 549966 (Why is no real title available?)
- scientific article; zbMATH DE number 651728 (Why is no real title available?)
- scientific article; zbMATH DE number 3796014 (Why is no real title available?)
- scientific article; zbMATH DE number 908162 (Why is no real title available?)
- scientific article; zbMATH DE number 1406808 (Why is no real title available?)
- scientific article; zbMATH DE number 7576851 (Why is no real title available?)
- scientific article; zbMATH DE number 7668115 (Why is no real title available?)
- A comparative study of various model-theoretic treatments of negation: A history of formal negation
- A topological representation of lattices
- A topological representation theory for lattices
- Algorithmic correspondence and canonicity for non-distributive logics
- Boolean Algebras with Operators
- Boolean Algebras with Operators. Part I
- Bounded lattice expansions
- Canonical extensions and relational completeness of some substructural logics
- Canonical extensions and relational representations of lattices with negation
- Choice-free Stone duality
- Choice-free duality for orthocomplemented lattices by means of spectral spaces
- Choice-free topological duality for implicative lattices and Heyting algebras
- Discrete duality for lattices with modal operators
- Duality for lattice-ordered algebras and for normal algebraizable logics
- Duality for normal lattice expansions and sorted residuated frames with relations
- Equational Classes of Distributive Pseudo-Complemented Lattices
- Functorial duality for ortholattices and De Morgan lattices
- Generalized Galois logics. Relational semantics of nonclassical logical calculi
- Generalized Kripke frames
- Modal translation of substructural logics
- Negation in the context of gaggle theory
- Negation in the light of modal logic
- Nelson's negation on the base of weaker versions of intuitionistic negation
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
- Positive modal logic beyond distributivity
- Relational Representation Theorems for General Lattices with Negations
- Relational Representation Theorems for Lattices with Negations: A Survey
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Representation of lattices with modal operators in two-sorted frames
- Semantic analysis of orthologic
- Stone duality for lattice expansions
- Stone duality for lattices
- TiRS graphs and TiRS frames: a new setting for duals of canonical extensions
- Topological duality and lattice expansions. I: A topological construction of canonical extensions.
- Topological duality and lattice expansions. II: Lattice expansions with quasioperators.
- Topological representations of distributive lattices and Brouwerian logics
This page was built for publication: Choice-free dualities for lattice expansions: application to logics with a negation operator
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6916896)
