Louise Schmir Hay. Axiomatization of the infinite-valued predicate calculus. The journal of symbolic logic, vol. 28 no. 1 , pp. 77–86 [Book Review]

Journal of Symbolic Logic 29 (2):110-111 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270440

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

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

Axiomatization of the Infinite-Valued Predicate Calculus.Louise Schmir Hay - 1964 - Journal of Symbolic Logic 29 (2):110-111.
Axiomatization of the infinite-valued predicate calculus.Louise Schmir Hay - 1963 - Journal of Symbolic Logic 28 (1):77-86.
A Gentzen-style axiomatization for basic predicate calculus.Mojtaba Aghaei & Mohammad Ardeshir - 2003 - Archive for Mathematical Logic 42 (3):245-259.
Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
A Tree-sequent Calculus For A Natural Predicate Extension Of Visser's Propositional Logic.Ryo Ishigaki & Kentaro Kikuchi - 2007 - Logic Journal of the IGPL 15 (2):149-164.
Atwell R. Turquette. Independent axioms for infinite-valued logic. The journal of symbolic logic, vol. 28 no. 3 , pp. 217–221.Louise Hay - 1966 - Journal of Symbolic Logic 31 (4):665.
Further results on infinite valued predicate logic.L. P. Belluce - 1964 - Journal of Symbolic Logic 29 (2):69-78.
Mostowski A.. Axiomatizability of some many valued predicate calculi. Fundamenta mathematicae, vol. 50 , pp. 165–190.Louise Hay - 1970 - Journal of Symbolic Logic 35 (1):143-143.
Rosser J. Barkley. Axiomatization of infinite valued logics. Logique et analyse , n.s. vol. 3 , pp. 137–153.Robert McNaughton - 1962 - Journal of Symbolic Logic 27 (1):111-112.
Further Results on Infinite Valued Predicate Logic.L. P. Belluce - 1971 - Journal of Symbolic Logic 36 (2):332-332.
On the definition of an infinitely-many-valued predicate calculus.Joseph D. Rutledge - 1960 - Journal of Symbolic Logic 25 (3):212-216.
Approximating Propositional Calculi by Finite-valued Logics.Matthias Baaz & Richard Zach - 1994 - In Baaz Matthias & Zach Richard (eds.), 24th International Symposium on Multiple-valued Logic, 1994. Proceedings. IEEE Press. pp. 257–263.
Review: L. P. Belluce, Further Results on Infinite Valued Predicate Logic. [REVIEW]Bruno Scarpellini - 1971 - Journal of Symbolic Logic 36 (2):332-332.
Universal Classes of MV-Chains with Applications to Many-valued Logics.Joan Gispert - 2002 - Mathematical Logic Quarterly 48 (4):582-601.
S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. A revised reprint of XIX 62. Two papers on the predicate calculus, by S. C. Kleene, Memoirs of the American Mathematical Society, no. 10, lithographed, Providence 1967, pp. 27–66. - W. Craig and R. L. Vaught. Finite axiomatizability using additional predicates. The journal of symbolic logic, vol. 23 no. 3 , pp. 289–308. [REVIEW]Mihály Makkai - 1971 - Journal of Symbolic Logic 36 (2):334-335.

Analytics

Added to PP
2013-11-22

Downloads
18 (#829,320)

6 months
3 (#965,065)

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