Fatal Heyting algebras and forcing persistent sentences

DOI10.1007/S11225-012-9393-ZzbMATH Open1368.03038OpenAlexW1988045504MaRDI QIDQ454370FDOQ454370

Authors: Leo Esakia, Benedikt Löwe 

Publication date: 1 October 2012

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

Full work available at URL: https://doi.org/10.1007/s11225-012-9393-z

Recommendations

• The modal logic of forcing
• Structural connections between a forcing class and its modal logic
• Forcing in Proof Theory
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness

zbMATH Keywords

forcingHeyting algebraintermediate logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Other aspects of forcing and Boolean-valued models (03E40) Heyting algebras (lattice-theoretic aspects) (06D20)

Cites Work

• Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some theorems about the sentential calculi of Lewis and Heyting
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• A remark on functionally free algebras
• The modal logic of forcing
• Modal Logics Between S 4 and S 5
• Cardinal spaces and topological representations of bimodal logics
• The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem

Cited In (5)

• Mally's deontic logic: reducibility and semantics
• The modal logic of inner models
• The modal logic of abelian groups
• Structural connections between a forcing class and its modal logic
• Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness

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)