Saito Setsuo. Truth value assignment in predicate calculus of first order. Notre Dame journal of formal logic, vol. 4 no. 3 , pp. 216–223 [Book Review]

Journal of Symbolic Logic 31 (2):268-268 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269831

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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: Setsuo Saito, Truth Value Assignment in Predicate Calculus of First Order. [REVIEW]F. C. Oglesby - 1966 - Journal of Symbolic Logic 31 (2):268-268.
Truth value assignment in predicate calculus of first order.Setsuo Saito - 1963 - Notre Dame Journal of Formal Logic 4 (3):216-223.
Charles E. Caton. A stipulation of logical truth in a modal propositional calculus. Synthese, vol. 14 , pp. 196–199. - Charles E. Caton. A stipulation of a modal propositioned calculus in terms of modalized truth-values. Notre Dame journal of formal logic, vol. 4 no. 3 , pp. 224–226. [REVIEW]Gerald J. Massey - 1974 - Journal of Symbolic Logic 39 (3):611.
C. A. Meredith and A. N. Prior. Notes on the axiomatics of the prepositional calculus. Notre Dame journal of formal logic, vol. 4 , pp. 171–187. [REVIEW]John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306-307.
Truth, falsehood, and contingency in first-order predicate calculus.Charles G. Morgan - 1973 - Notre Dame Journal of Formal Logic 14 (4):536-542.
Prior A. N.. Notes on a group of new modal systems. Logique et analyse, n.s. vol. 2 , pp. 122–127.Bull R. A.. An axiomatization of Prior's modal calculus. Notre Dame journal of formal logic, vol. 5 no. 3 , pp. 211–214.Prior A. N.. Axiomatisations of the modal calculus. Notre Dame journal of formal logic, vol. 5 no. 3 , pp. 215–217. [REVIEW]M. J. Cresswell - 1970 - Journal of Symbolic Logic 35 (3):464.
Leo Simons. A reduction in the number of independent axiom schemata for S4. Notre Dame journal of formal logic, vol. 3 , pp. 256–258. - Bolesław Sobociński. An axiom-system for {K; N}-propositional calculus related to Simons' axiomatization of S3.Notre Dame journal of formal logic, vol. 3 , pp. 206–208. [REVIEW]Naoto Yonemitsu - 1967 - Journal of Symbolic Logic 32 (2):245.
Tursman Richard. The shortest axioms of the implicational calculus. Notre Dame journal of formal logic, vol. 9 no. 4 , pp. 351–358. [REVIEW]Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (4):690.
Guido Küng. Bibliography of Soviet work in the field of mathematical logic and the foundations of mathematics, from 1917–1957. Notre Dame journal of formal logic, vol. 3, pp. 5–40. - I. M. Bocheński. Preface. Notre Dame journal of formal logic, vol. 3, pp. 1–4. [REVIEW]E. M. Fels - 1963 - Journal of Symbolic Logic 28 (3):253-254.
Bolesław Sobociński. A contribution to the axiomatization of Lewis' system S5. Notre Dame journal of formal logic, vol. 3 , pp. 51–63. - Bolesław Sobociński. On the generalized Brouwerian axioms.Notre Dame journal of formal logic, vol. 3 , pp. 123–128. - Bolesław Sobociński. A note on modal systems.Notre Dame journal of formal logic, vol. 4 , pp. 155–157. - Ivo Thomas. Solutions of five modal problems of Sobociński.Notre Dame journal of formal logic, vol. 3 , pp. 199–200. - Ivo Thomas. S1° and Brouwerian axioms.Notre Dame journal of formal logic, vol. 4 , pp. 151–152. - Ivo Thomas. S1° and generalized Si-axioms.Notre Dame journal of formal logic, vol. 4 , pp. 153–154. - Ivo Thomas. A final note on S1° and the Brouwerian axioms.Notre Dame journal of formal logic, vol. 4 , pp. 231–232. - Ivo Thomas. Modal systems in the neighbourhood of T.Notre Dame journal of formal logic, vol. 5 no. 1 , pp. 59–61. - Ivo Thomas. Ten modal models. The journal of symbolic logic, vol. 29 no. 3 , pp. 125–12. [REVIEW]Nuel D. Belnap - 1966 - Journal of Symbolic Logic 31 (3):498-500.

Analytics

Added to PP
2016-06-30

Downloads
14 (#994,650)

6 months
4 (#1,006,062)

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