An Extended Procedure in Quantificational Logic

Journal of Symbolic Logic 21 (2):197-197 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268768

Links

PhilArchive



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

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

An extended procedure in quantificational logic.Robert Stanley - 1953 - Journal of Symbolic Logic 18 (2):97-104.
Stanley Robert. An extended procedure in quantificational logic.Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (2):197-197.
Review: Robert Stanley, An Extended Procedure in Quantificational Logic. [REVIEW]Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (2):197-197.
Review: Burton Dreben, Relation of m-Valued Quantificational Logic to 2-Valued Quantificational Logic. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (3):375-376.
Relation of m-Valued Quantificational Logic to 2-Valued Quantificational Logic.Burton Dreben - 1965 - Journal of Symbolic Logic 30 (3):375-376.
Dreben Burton. Relation of m-valued quantificational logic to 2-valued quantificational logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 303–304. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (3):375-376.
Quantificational Logic and Empty Names.Andrew Bacon - 2013 - Philosophers' Imprint 13.
Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Review: Robert Baum, Logic; David T. Wieck, Quantificational Logic. [REVIEW]Nelson Pole - 1977 - Journal of Symbolic Logic 42 (3):424-425.
Philosophical Logic: An Introduction to Advanced Topics.George Englebretsen & Charles Sayward - 2010 - continuum.
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
Reduction to first degree in quantificational S5.Michael J. Carroll - 1979 - Journal of Symbolic Logic 44 (2):207-214.
A Completeness Result for Quantificational Tense Logic.Robert P. McArthur & Hugues Leblanc - 1976 - Mathematical Logic Quarterly 22 (1):89-96.
The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3‐Valued Logics.Walter A. Carnielli - 1987 - Mathematical Logic Quarterly 33 (1):19-29.
The permutation principle in quantificational logic.Kit Fine - 1983 - Journal of Philosophical Logic 12 (1):33 - 37.

Analytics

Added to PP
2017-02-21

Downloads
3 (#1,726,395)

6 months
1 (#1,512,999)

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