Comparison of the topological and relational semantics of superintuitionistic logics

DOI10.1007/BF01978980zbMATH Open0543.03022OpenAlexW2088865693MaRDI QIDQ795828FDOQ795828

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

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

zbMATH Keywords

topological spacerelational semanticstopological semanticssuperintuitionistic logicspace widthtopological model theory

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Logics containing K4. Part I
• Title not available (Why is that?)
• ON FINITE-DIMENSIONAL SUPERINTUITIONISTIC LOGICS
• POINCARÉ AND TOPOLOGY
• Title not available (Why is that?)

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)