Completeness Theorems for Some Presupposition-Free Logics

&
Journal of Symbolic Logic 37 (2):424-425 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273024

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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

Review: H. Leblanc, R. H. Thomason, Completeness Theorems for Some Presupposition-Free Logics. [REVIEW]Theodore Hailperin - 1972 - Journal of Symbolic Logic 37 (2):424-425.
H. Leblanc and R. H. Thomason. Completeness theorems for some presupposition-free logics. Fundamenta mathematicae, vol. 62 no. 2 , pp. 125–164. [REVIEW]Theodore Hailperin - 1972 - Journal of Symbolic Logic 37 (2):424-425.
Hugues Leblanc. Preface. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. ix–x. - Hugues Leblanc. Introduction. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 3–16. - Hugues Leblanc and T. Hailperin. Non-designating singular terms. A revised reprint of XXV 87. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 17–21. - Hugues Leblanc and R. H. Thomason. Completeness theorems for some presupposition-free logics. A revised reprint of XXXVII 424. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 22–57. - Hugues Leblanc and R. K. Meyer. On prefacing ⊃ A with : a free quantification theory without identity. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 58–75. , pp. 447–462. - Hugues Leblanc. Truth-value seman. [REVIEW]Ermanno Bencivenga - 1985 - Journal of Symbolic Logic 50 (1):227-231.
Review: R. H. Thomason, H. Leblanc, All or None: a Novel Choice of Primitives for Elementary Logic. [REVIEW]Mitsuru Yasuhara - 1969 - Journal of Symbolic Logic 34 (1):124-125.
R. H. Thomason and H. Leblanc. All or none: a novel choice of primitives for elementary logic. The journal of symbolic logic, vol. 32 , pp. 345–351.Mitsuru Yasuhara - 1969 - Journal of Symbolic Logic 34 (1):124-125.
Review: Richmond H. Thomason, Symbolic Logic. [REVIEW]Hans Hermes - 1971 - Journal of Symbolic Logic 36 (4):678-678.
Thomason Richmond H.. Philosophy and formal semantics. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Leblanc Hugues, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, pp. 294–307. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):317.
Glivenko theorems revisited.Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (2):246-250.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Review: H. Ribeiro, R. Schwabauer, A Remark on Equational Completeness. [REVIEW]Peter Perkins - 1971 - Journal of Symbolic Logic 36 (1):161-161.

Analytics

Added to PP
2015-02-05

Downloads
20 (#760,018)

6 months
7 (#592,073)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Free logic.John Nolt - 2021 - Stanford Encyclopedia of Philosophy.
Logic and Ontological Pluralism.Jason Turner - 2012 - Journal of Philosophical Logic 41 (2):419-448.
Against Harmony: Infinite Idealizations and Causal Explanation.Iulian D. Toader - 2015 - In Ilie Parvu, Gabriel Sandu & Iulian D. Toader (eds.), Romanian Studies in Philosophy of Science. Boston Studies in the Philosophy and History of Science, vol. 313: Springer. pp. 291-301.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references