Some relational systems and the associated topological spaces

DOI10.4064/fm-60-3-223-231zbMath0207.29603OpenAlexW1517643705MaRDI QIDQ5607976

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)

Related Items (29)

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

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