Three axiom negation-alternation formulations of the truth-functional calculus

Notre Dame Journal of Formal Logic 5 (2):129-132 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093957803

Links

PhilArchive



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

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: George Goe, Three Axiom Negation-Alternation Formulations of the Truth-Functional Calculus. [REVIEW]Robert Blanche - 1968 - Journal of Symbolic Logic 33 (4):606-606.
Goe George. Three axiom negation-alternation formulations of the truth-functional calculus. Notre Dame journal of formal logic, t. 5 n° 2 , p. 129–132. [REVIEW]Robert Blanché - 1969 - Journal of Symbolic Logic 33 (4):606-606.
John T. Kearns. Quantifiers and universal validity. Logique et analyse, n.s. vol. 9 , pp. 298–309. - George Goe. A reconstruction of formal logic. Notre Dame journal of formal logic, vol. 7 , pp. 129–157. - George Goe. Corrections to my paper “A reconstruction of formal logic.”Notre Dame journal of formal logic, vol. 7 , p. 158. [REVIEW]Theodore Hailperin - 1968 - Journal of Symbolic Logic 33 (1):137-138.
An axiom system for three-valued Ł ukasiewicz propositional calculus.Luisa Iturrioz - 1977 - Notre Dame Journal of Formal Logic 18 (4):616-620.
A shortest single axiom for the classical equivalential calculus.John A. Kalman - 1978 - Notre Dame Journal of Formal Logic 19 (1):141-144.
Investigations on a comprehension axiom without negation in the defining propositional functions.Thoralf Skolem - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):13-22.
On characterizations of the first-order functional calculus.Juliusz Reichbach - 1961 - Notre Dame Journal of Formal Logic 2 (1):1-15.
On the connections of the first-order functional calculus with [Symbol] o propositional calculus.Juliusz Reichbach - 1965 - Notre Dame Journal of Formal Logic 6:73.
$\Varepsilon$-calculus based axiom systems for some propositional modal logics.Melvin Fitting - 1972 - Notre Dame Journal of Formal Logic 13 (3):381-384.
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.

Analytics

Added to PP
2010-08-24

Downloads
2 (#1,819,493)

6 months
11 (#272,000)

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