Some relational systems and the associated topological spaces

DOI10.4064/FM-60-3-223-231MaRDI QIDQ5607976zbMATH OpenOpenAlexFDO

Authors Andrzej Grzegorczyk

Publication date 1967

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/213962

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Cited in

(29)

• Union of logics modeled by finite trees
• Willem Blok and modal logic
• The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
• Maksimova, relevance and the study of lattices of non-classical logics
• Lattice NExtS4 from the embedding theorem viewpoint
• Finite-level modal logics
• Hereditarily finitely axiomatizable extensions of logic S4
• Kripke models and intermediate logics
• On superintuitionistic logics as fragments of proof logic extensions
• Which modal logic is the right one?
• Sahlqvist via translation
• Noncompact extensions of the logic S4
• The modal logic of Gödel sentences
• A lattice of normal modal logics
• Pretabular extensions of Lewis S4
• On fragments of Medvedev's logic
• Solvability of logical equations in the modal system Grz and intuitionistic logic
• Modal companions of intermediate propositional logics
• On the Blok-Esakia theorem
• Grzegorczyk algebras revisited
• Intuitionistic logic and modality via topology
• Mathematical modal logic: A view of its evolution
• Foreword to the special issue dedicated to the memory of Leo Esakia
• Varieties of complex algebras
• Power structures
• Interpretations of intuitionist logic in non-normal modal logics
• Maximality in modal logic
• Modal Logics that Bound the Circumference of Transitive Frames
• Non-classical propositional calculi in relation to methodological patterns of scientific investigation

This page was built for publication: Some relational systems and the associated topological spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5607976)