Comparison of the topological and relational semantics of superintuitionistic logics
From MaRDI portal
Publication:795828
DOI10.1007/BF01978980zbMath0543.03022MaRDI QIDQ795828
Publication date: 1983
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/187222
relational semantics; topological space; superintuitionistic logic; topological semantics; topological model theory; space width
Cites Work