Fatal Heyting algebras and forcing persistent sentences
From MaRDI portal
(Redirected from Publication:454370)
Recommendations
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- A remark on functionally free algebras
- Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
- Cardinal spaces and topological representations of bimodal logics
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
- Modal Logics Between S 4 and S 5
- Some theorems about the sentential calculi of Lewis and Heyting
- The modal logic of forcing
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
Cited in
(5)
This page was built for publication: Fatal Heyting algebras and forcing persistent sentences
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q454370)