The substitution interpretation in topological logic

Journal of Philosophical Logic 3 (1/2):109 - 132 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00652073

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Indefinite topological logic.James W. Garson - 1973 - Journal of Philosophical Logic 2 (1):102 - 118.
Dynamic topological logic.S. Artemov - unknown
The substitution interpretation and the expressive power of intensional logics.James W. Garson - 1979 - Notre Dame Journal of Formal Logic 20 (4):858-864.
Dynamic topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.
Second order propositional operators over Cantor space.Tomasz Połacik - 1994 - Studia Logica 53 (1):93 - 105.
The completeness of an intensional logic: definite topological logic.James W. Garson - 1973 - Notre Dame Journal of Formal Logic 14 (2):175-184.
Mathematical Logic.Philip Kremer - unknown
Topological logic.Nicholas Rescher & James Garson - 1968 - Journal of Symbolic Logic 33 (4):537-548.

Analytics

Added to PP
2009-01-28

Downloads
33 (#459,370)

6 months
8 (#292,366)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

James W. Garson
University of Houston

Citations of this work

No citations found.

Add more citations

References found in this work

Topological logic.Nicholas Rescher & James Garson - 1968 - Journal of Symbolic Logic 33 (4):537-548.
Indefinite topological logic.James W. Garson - 1973 - Journal of Philosophical Logic 2 (1):102 - 118.
The completeness of an intensional logic: definite topological logic.James W. Garson - 1973 - Notre Dame Journal of Formal Logic 14 (2):175-184.

Add more references