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

Journal of Symbolic Logic 34 (1):124-125 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271011

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

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: 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.
All or None: a Novel Choice of Primitives for Elementary Logic.R. H. Thomason & H. Leblanc - 1969 - Journal of Symbolic Logic 34 (1):124-125.
All or none; A novel choice of primitives for elementary logic.R. H. Thomason & H. Leblanc - 1967 - Journal of Symbolic Logic 32 (3):345-351.
Completeness Theorems for Some Presupposition-Free Logics.H. Leblanc & R. H. Thomason - 1972 - Journal of Symbolic Logic 37 (2):424-425.
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.
Lachlan A. H.. A note on Thomason's refined structures for tense logics. Theoria, vol. 40, pp. 117–120.Fine Kit. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Ranger Stig, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14.Goldblatt R. I. and Thomason S. K.. Axiomatic classes in propositional modal logic. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by Crossley J. N., Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 163–173.Goldblatt R. I.. First-order definability in modal logic. [REVIEW]Robert A. Bull - 1982 - Journal of Symbolic Logic 47 (2):440-445.
The Demarcation Line Between Intuitionist Logic and Classical Logic.Hugues Leblanc & Richmond H. Thomason - 1966 - Mathematical Logic Quarterly 12 (1):257-262.
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.
Hugues Leblanc. A simplified account of validity and implication for quantificational logic. The journal of symbolic logic, vol. 33 , pp. 231–235. [REVIEW]A. Trew - 1970 - Journal of Symbolic Logic 35 (3):466-467.
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.
Reduction of tense logic to modal logic. I.S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (3):549-551.
Symbolic logic.Richmond H. Thomason - 1969 - [New York]: Macmillan.
Meeting of the association for symbolic logic.Charles D. Parsons, Richard J. Orgass & Richmond H. Thomason - 1972 - Journal of Symbolic Logic 37 (2):430-447.
Elementary Applied Symbolic Logic.Bangs L. Tapscott - 1979 - Journal of Symbolic Logic 44 (2):281-282.

Analytics

Added to PP
2016-06-30

Downloads
28 (#572,355)

6 months
6 (#529,161)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references