Tychonoff HED-spaces and Zemanian extensions of S4.3

Open Access
Authors
Publication date 03-2018
Journal Review of Symbolic Logic
Volume | Issue number 11 | 1
Pages (from-to) 115-132
Organisations
  • Faculty of Science (FNWI) - Korteweg-de Vries Institute for Mathematics (KdVI)
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract We introduce the concept of a Zemanian logic above S4.3 and prove that an extension of S4.3 is the logic of a Tychonoff HED-space iff it is Zemanian.
Document type Article
Note © Association for Symbolic Logic 2018
Language English
Published at https://doi.org/10.1017/S1755020317000314
Downloads
Permalink to this page
Back