Canonical extensions for congruential logics with the deduction theorem
From MaRDI portal
Publication:636384
DOI10.1016/j.apal.2010.05.003zbMath1238.03051OpenAlexW2143440857MaRDI QIDQ636384
Alessandra Palmigiano, Mai Gehrke, Ramon Jansana
Publication date: 26 August 2011
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2066/83460
Complete lattices, completions (06B23) Heyting algebras (lattice-theoretic aspects) (06D20) Representation theory of lattices (06B15) Abstract algebraic logic (03G27)
Related Items
On the deductive system of the order of an equationally orderable quasivariety ⋮ An Abstract Algebraic Logic View on Judgment Aggregation ⋮ Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic ⋮ Abstract algebraic logic. An introductory chapter ⋮ Topological duality and algebraic completions ⋮ \(\Delta_1\)-completions of a poset. ⋮ Duality and canonical extensions for stably compact spaces ⋮ Canonical extensions of posets. ⋮ Canonical extensions and ultraproducts of polarities ⋮ Variations of the free implicative semilattice extension of a Hilbert algebra
Cites Work
- A Sahlqvist theorem for distributive modal logic
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
- Selfextensional logics with a conjunction
- Varieties with equationally definable principal congruences
- Theory of logical calculi. Basic theory of consequence operations
- An algebraic approach to non-classical logics
- A survey of abstract algebraic logic
- Duality for double quasioperator algebras via their canonical extensions
- Bounded distributive lattice expansions
- Canonical extensions and relational completeness of some substructural logics
- Boolean Algebras with Operators. Part I
- Bounded lattice expansions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
