Formal systems for modal operators on locales
From MaRDI portal
Publication:1319366
DOI10.1007/BF01053262zbMath0798.03016MaRDI QIDQ1319366
Marek W. Zawadowski, Gonzalo E. Reyes
Publication date: 12 April 1994
Published in: Studia Logica (Search for Journal in Brave)
Related Items
The Evil Twin: The Basics of Complement-Toposes, On the Blok-Esakia Theorem, From (Paraconsistent) Topos Logic to Universal (Topos) Logic, The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem, Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic
Cites Work