Comparison of the topological and relational semantics of superintuitionistic logics

DOI10.1007/BF01978980zbMath0543.03022OpenAlexW2088865693MaRDI QIDQ795828

A. Yu. Muravitskij

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

relational semanticstopological spacesuperintuitionistic logictopological semanticstopological model theoryspace width

Mathematics Subject Classification ID

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

Cites Work

• ON FINITE-DIMENSIONAL SUPERINTUITIONISTIC LOGICS
• Logics containing K4. Part I
• POINCARÉ AND TOPOLOGY
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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