Completeness theorems via the double dual functor

DOI10.1023/A:1005238330484zbMath0948.03061OpenAlexW1607885199MaRDI QIDQ1970592

Adriana Galli, Gonzalo E. Reyes, Marta S. Sagastume

Publication date: 14 November 2000

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005238330484

zbMATH Keywords

completenesspartially ordered setsmodal logicscanonical embeddingnonclassical logicsconservativitybounded distributive latticesdual adjunctionbi-Heyting algebra

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Modal logic (including the logic of norms) (03B45) Complete lattices, completions (06B23) Other algebras related to logic (03G25)

Related Items (3)

Unnamed Item ⋮ Boolean topological distributive lattices and canonical extensions ⋮ Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic

This page was built for publication: Completeness theorems via the double dual functor