default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 27
Volume 27, Number 1, March 1962
- Nicholas Rescher:
Quasi-Truth-Functional Systems of Propositional Logic. 1-10 - Stephen Cole Kleene:
Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. 11-18 - Alan Ross Anderson, Nuel Belnap:
The Pure Calculus of Entailment. 19-52 - Robert E. Clay:
Note on Slupecki T-Functions. 53-54 - Raymond M. Smullyan:
On Post's Canonical Systems. 55-57 - Timothy Smiley:
Syllogism and Quantification. 58-72
Volume 27, Number 2, June 1962
- David Pager:
An Emendation of the Axiom System of Hilbert and Ackermann for the Restricted Calculus of Predicates. 131-138 - Georg Kreisel:
On Weak Completeness of Intuitionistic Predicate Logic. 139-158 - Bruno Scarpellini:
Die Nichtaxiomatisierbarkeit des Unendlichwertigen Pradikatenkalkuls von Lukasiewicz. 159-170 - Carol R. Karp:
Independence Proofs in Predicate Logic with Infinitely Long Expressions. 171-188 - R. A. Bull:
The Implicational Fragment of Dummet's LC. 189-194 - Richard Montague:
Theories Incomparable with Respect to Relative Interpretability. 195-211
Volume 27, Number 3, September 1962
- Curt John Ducasse, Haskell B. Curry:
Early History of the Association for Symbolic Logic. 255-258 - Solomon Feferman:
Transfinite Recursive Progressions of Axiomatic Theories. 259-316 - Chen C. Chang, H. Jerome Keisler:
An Improved Prenex Normal Form. 317-326 - R. B. Angell:
A Propositional Logic with Subjunctive Conditionals. 327-343 - Paul C. Gilmore:
Some Forms of Completeness. 344-352 - M. H. Lob:
Meeting of the Association for Symbolic Logic, Leeds 1962. 373-382
Volume 27, Number 4, December 1962
- Solomon Feferman, C. Spector:
Incompleteness Along Paths in Progressions of Theories. 383-390 - Alfred Horn:
The Separation Theorem of Intuitionist Propositional Calculus. 391-399 - F. R. Drake:
On McKinsey's Syntatical Characterizations of Systems of Modal Logic. 400-406 - Takeo Sugihara:
The Number of Modalities in T Supplemented by the Axiom CL2pL3p. 407-408 - William H. Jobe:
Functional Completeness and Canonical Forms in Many-Valued Logics. 409-422 - Alan Rose:
Extensions of Some Theorems of Anderson and Belnap. 423-425 - Timothy Smiley:
The Independence of Connectives. 426-436 - Gerald B. Standley:
Two Arithmetical Techniques with Numbered Classes. 437-438 - Gordon Matheson:
The Semantics of Singular Terms. 439-466 - Robert L. Vaught:
Twenty-Eighth Annual Meeting of the Association for Symbolic Logic. 475-483
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-09 22:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
