Topological Logic

Publisher： Cambridge University Press

E-ISSN： 1943-5886|33|4|537-548

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.33, Iss.4, 1969-01, pp. : 537-548

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

The purpose of this paper is to present a very versatile family of logical systems of positional or topological logic. These systems—obtained by generalizing the existing systems of chronological logic—are to have a very general nature, capable of reflecting the characteristics of a wide range of logical systems, including not only chronological (also temporal or tense) logic, but also what we may call locative or place logic, and even a logic of “possible worlds”.

Related content

Dynamic topological logic of metric spaces

By  

The Journal of Symbolic Logic, Vol. 77, Iss. 1, 2012-03 ,pp. : 308-328 (21)

Cambridge University Press

Access to resources Recommend Favorite

Topological completeness for higher-order logic

By  

The Journal of Symbolic Logic, Vol. 65, Iss. 3, 2000-09 ,pp. : 1168-1182 (15)

Cambridge University Press

Access to resources Recommend Favorite

Stability theory for topological logic, with applications to topological modules1

By  

The Journal of Symbolic Logic, Vol. 51, Iss. 3, 1986-09 ,pp. : 755-769 (15)

Cambridge University Press

Access to resources Recommend Favorite

A purely topological form of non-Aristotelian logic 1

By  

The Journal of Symbolic Logic, Vol. 2, Iss. 3, 1937-09 ,pp. : 97-112 (16)

Cambridge University Press

Access to resources Recommend Favorite

Logic

By  

The Journal of Symbolic Logic, Vol. 42, Iss. 1, 1977-03 ,pp. : 107-108 (2)

Cambridge University Press

Access to resources Recommend Favorite