The completeness of an intensional logic: definite topological logic

Notre Dame Journal of Formal Logic 14 (2):175-184 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093890891

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

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

A Note on Logics of Ignorance and Borders.Christopher Steinsvold - 2008 - Notre Dame Journal of Formal Logic 49 (4):385-392.
Review of J. W. Garson, Modal Logic for Philosophers. [REVIEW]Jc Beall - 2007 - Notre Dame Philosophical Reviews 2007 (6).
A functional partial semantics for intensional logic.Serge Lapierre - 1992 - Notre Dame Journal of Formal Logic 33 (4):517-541.
Intensional paradoxes.Graham Priest - 1991 - Notre Dame Journal of Formal Logic 32 (2):193-211.
The completeness of Stoic propositional logic.Ian Mueller - 1979 - Notre Dame Journal of Formal Logic 20 (1):201-215.
The completeness of combinatory logic with discriminators.John T. Kearns - 1973 - Notre Dame Journal of Formal Logic 14 (3):323-330.
Leibnitz's preference for an intensional logic (A reply to Mr. Parkinson).Walter H. O'Briant - 1967 - Notre Dame Journal of Formal Logic 8 (3):254-256.
A completeness theorem for dynamic logic.László Csirmaz - 1985 - Notre Dame Journal of Formal Logic 26 (1):51-60.
Cresswell M. J.. A Henkin completeness theorem for T. Notre Dame journal of formal logic, vol. 8 no. 3 , pp. 186–190.Cresswell M. J.. Alternative completeness theorems for modal systems. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 339–345.Cresswell M. J.. Some proofs of relative completeness in modal logic. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 62–66. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (4):581-582.
On the proofs of arithmetical completeness for interpretability logic.Domenico Zambella - 1992 - Notre Dame Journal of Formal Logic 33 (4):542-551.

Analytics

Added to PP
2010-08-24

Downloads
28 (#808,576)

6 months
11 (#364,844)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

James W. Garson
University of Houston

Citations of this work

Indefinite topological logic.James W. Garson - 1973 - Journal of Philosophical Logic 2 (1):102 - 118.
The substitution interpretation in topological logic.James W. Garson - 1974 - Journal of Philosophical Logic 3 (1/2):109 - 132.

Add more citations

References found in this work

No references found.

Add more references