Formal systems for modal operators on locales
From MaRDI portal
Publication:1319366
DOI10.1007/BF01053262zbMATH Open0798.03016MaRDI QIDQ1319366FDOQ1319366
Publication date: 12 April 1994
Published in: Studia Logica (Search for Journal in Brave)
Recommendations
Cites Work
Cited In (8)
- From (Paraconsistent) Topos Logic to Universal (Topos) Logic
- The Evil Twin: The Basics of Complement-Toposes
- Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic
- On the Blok-Esakia Theorem
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
- Title not available (Why is that?)
- Precovers, Modalities and Universal Closure Operators in a Topos
- Pantachies and Weakly Inaccessible Cardinals
This page was built for publication: Formal systems for modal operators on locales
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1319366)