Tychonoff HED-spaces and Zemanian extensions of S4.3

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