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 [Book Review]

Journal of Symbolic Logic 33 (4):606-606 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271376

Links

PhilArchive



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

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

Three axiom negation-alternation formulations of the truth-functional calculus.George Goe - 1964 - Notre Dame Journal of Formal Logic 5 (2):129-132.
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.
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.
A shortest single axiom for the classical equivalential calculus.John A. Kalman - 1978 - Notre Dame Journal of Formal Logic 19 (1):141-144.
An axiom system for three-valued Ł ukasiewicz propositional calculus.Luisa Iturrioz - 1977 - Notre Dame Journal of Formal Logic 18 (4):616-620.
On characterizations of the first-order functional calculus.Juliusz Reichbach - 1961 - Notre Dame Journal of Formal Logic 2 (1):1-15.
$\Varepsilon$-calculus based axiom systems for some propositional modal logics.Melvin Fitting - 1972 - Notre Dame Journal of Formal Logic 13 (3):381-384.
A note on theses of the first-order functional calculus.Juliusz Reichbach - 1968 - Notre Dame Journal of Formal Logic 9 (4):335-339.
A note to my paper: "On characterizations of the first-order functional calculus".Juliusz Reichbach - 1961 - Notre Dame Journal of Formal Logic 2 (4):251-252.
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.
A note about connection of the first-order functional calculus with many-valued propositional calculi.Juliusz Reichbach - 1964 - Notre Dame Journal of Formal Logic 5 (2):158-160.
The Logic of Conditional Negation.John Cantwell - 2008 - Notre Dame Journal of Formal Logic 49 (3):245-260.
Truth value assignment in predicate calculus of first order.Setsuo Saito - 1963 - Notre Dame Journal of Formal Logic 4 (3):216-223.
Infinite truth-functional logic.Theodore Hailperin - 1987 - Notre Dame Journal of Formal Logic 29 (1):28-33.
Truth, falsehood, and contingency in first-order predicate calculus.Charles G. Morgan - 1973 - Notre Dame Journal of Formal Logic 14 (4):536-542.

Analytics

Added to PP
2016-06-30

Downloads
9 (#1,246,467)

6 months
4 (#779,041)

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