Comparison of the topological and relational semantics of superintuitionistic logics

DOI10.1007/BF01978980MaRDI QIDQ795828zbMATH OpenOpenAlexFDO

Authors Alexei Y. Muravitsky

Publication date 1983

Published in Algebra and Logic (Search for Journal in Brave)

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

zbMATH Keywords

topological spacerelational semanticstopological semanticssuperintuitionistic logicspace widthtopological model theory

Mathematics Subject Classification ID

Intermediate logics (03B55) Model theory (03C99)

Recommendations

• scientific article; zbMATH DE number 6787689
• A result on the completeness of superintuitionistic logics
• scientific article; zbMATH DE number 3861126
• scientific article; zbMATH DE number 218502
• The finite model property with respect to admissibility for superintuitionistic logic

Cites work

• scientific article; zbMATH DE number 3425669 (Why is no real title available?)
• scientific article; zbMATH DE number 3711943 (Why is no real title available?)
• scientific article; zbMATH DE number 3556024 (Why is no real title available?)
• scientific article; zbMATH DE number 3424019 (Why is no real title available?)
• Logics containing K4. Part I
• ON FINITE-DIMENSIONAL SUPERINTUITIONISTIC LOGICS
• POINCARÉ AND TOPOLOGY

Cited in

(1)

• Synthesis of sup-interpretations: a survey

This page was built for publication: Comparison of the topological and relational semantics of superintuitionistic logics

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