Categorical De Morgan laws

DOI10.1007/BF02483867zbMath0485.18007OpenAlexW2010329218MaRDI QIDQ1164129

Manfred E. Szabo

Publication date: 1981

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02483867

zbMATH Keywords

Boolean algebrasHeyting algebrabicartesian closed categoryDe Morgan laws

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Logical aspects of Boolean algebras (03G05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A categorical characterization of Boolean algebras
• Model theory and topoi. A collection of lectures by various authors
• Aspects of topoi

This page was built for publication: Categorical De Morgan laws