Journal of Symbolic Logic 25 (3):212-216 (1960)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2964677 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 58,486
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- jstor.org [2] (no proxy)
- jstor.org [3] (no proxy)
- cambridge.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet.Thoralf Skolem - 1957 - Mathematical Logic Quarterly 3 (1‐5):1-17.
Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet.Thoralf Skolem - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (1-5):1-17.
Axiomatization of Infinite-Valued Logics.J. Barkley Rosser - 1960 - Logique Et Analyse 3 (1):137-153.
Citations of this work BETA
Die Nichtaxiomatisierbarkeit Des Unendlichwertigen Prädikatenkalküls Von Łukasiewicz.Bruno Scarpellini - 1962 - Journal of Symbolic Logic 27 (2):159-170.
Similar books and articles
The Statistical Estimation of Provability in the First Order Predicate Calculus.S. Christiaan van Westrhenen - 1969 - [Eindhoven, Technische Hogeschool (Inslindelaan 2).
Proper N-Valued Łukasiewicz Algebras as s-Algebras of Łukasiewicz N-Valued Prepositional Calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
The Liar Paradox and Fuzzy Logic.Petr Hájek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (1):339-346.
Axiomatization of the Infinite-Valued Predicate Calculus.Louise Schmir Hay - 1963 - Journal of Symbolic Logic 28 (1):77-86.
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.
On a Three-Valued Logical Calculus and its Application to the Analysis of the Paradoxes of the Classical Extended Functional Calculus.D. A. Bochvar & Merrie Bergmann - 1981 - History and Philosophy of Logic 2 (1-2):87-112.
Complete Problems in the First-Order Predicate Calculus.David A. Plaisted - 1979 - Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
Automatic Proofs for Theorems on Predicate Calculus.Sueli Mendes dos Santos - 1972 - [Rio De Janeiro, Pontificia Universidade Católica Do Rio De Janeiro].
Three-Valued Logic and Cut-Elimination: The Actual Meaning of Takeuti's Conjecture.J. Y. Girard - 1976 - Państwowe Wydawn. Naukowe.
Analytics
Added to PP index
2009-01-28
Total views
25 ( #421,422 of 2,421,440 )
Recent downloads (6 months)
1 ( #544,098 of 2,421,440 )
2009-01-28
Total views
25 ( #421,422 of 2,421,440 )
Recent downloads (6 months)
1 ( #544,098 of 2,421,440 )
How can I increase my downloads?
Downloads
