Completeness of relevant quantification theories

, &
Notre Dame Journal of Formal Logic 15 (1):97-121 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891202

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,836

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: Robert K. Meyer, J. Michael Dunn, E, R and $gamma$. [REVIEW]David Makinson - 1971 - Journal of Symbolic Logic 36 (3):521-522.
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.
Leblanc Hugues and Belnap Nuel D. Jr., Intuitionism reconsidered. Notre Dame journal of formal logic, vol. 3 , pp. 79–82. [REVIEW]A. Heyting - 1963 - Journal of Symbolic Logic 28 (3):256-256.
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 Yablonskii theory concerning functional completeness of $k$-valued logic.Kanzo Hino - 1977 - Notre Dame Journal of Formal Logic 18 (2):251-254.
Henkin style completeness proofs in theories lacking negation.John L. Pollock - 1971 - Notre Dame Journal of Formal Logic 12 (4):509-511.
On the relation between free description theories and standard quantification theory.Richard E. Grandy - 1976 - Notre Dame Journal of Formal Logic 17 (1):149-152.
Remarks on the completeness of logical systems relative to the validity-concepts of P. Lorenzen and K. Lorenz.Wolfgang Stegmüller - 1964 - Notre Dame Journal of Formal Logic 5 (2):81-112.
Halldén Completeness for Relevant Modal Logics.Takahiro Seki - 2015 - Notre Dame Journal of Formal Logic 56 (2):333-350.
Gerald J. Massey. Note on Copi's system. Notre Dame journal of formal logic, vol. 4 , pp. 140–141. - John Thomas Canty. Completeness of Copi's method of deduction. Notre Dame journal of formal logic, vol. 4 , pp. 142–144. [REVIEW]Donald Kalish - 1965 - Journal of Symbolic Logic 30 (3):366-367.

Analytics

Added to PP
2010-08-24

Downloads
62 (#368,188)

6 months
9 (#419,669)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jon Michael Dunn
PhD: University of Pittsburgh; Last affiliation: Indiana University, Bloomington

Citations of this work

Relevance logic.Edwin Mares - 2008 - Stanford Encyclopedia of Philosophy.

View all 27 citations / Add more citations

References found in this work

No references found.

Add more references