Independence of the axioms and rules of inference of one system of the extended propositional calculus

Notre Dame Journal of Formal Logic 12 (2):214-218 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093894221

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

Note about Ł ukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus.Bolesław Sobociński - 1978 - Notre Dame Journal of Formal Logic 19 (3):457-460.
A set of axioms for the propositional calculus with implication and non-equivalence.Anjan Shukla - 1966 - Notre Dame Journal of Formal Logic 7 (3):281-286.
On the independence of the Bigos-Kalmár axioms for sentential calculus.Robert C. Flagg - 1978 - Notre Dame Journal of Formal Logic 19 (2):285-288.
Syllogistic inference within the propositional calculus.Kenneth M. Sayre - 1964 - Notre Dame Journal of Formal Logic 5 (3):238-240.
A set of axioms for the propositional calculus with implication and converse non-implication.Anjan Shukla - 1965 - Notre Dame Journal of Formal Logic 6 (2):123-128.
On weak and strong validity of rules for the propositional calculus.V. Frederick Rickey - 1971 - Notre Dame Journal of Formal Logic 12 (1):115-116.
A formal system for the non-theorems of the propositional calculus.Xavier Caicedo - 1978 - Notre Dame Journal of Formal Logic 19:147.
A formal system for the non-theorems of the propositional calculus.Xavier Caicedo Ferrer - 1978 - Notre Dame Journal of Formal Logic 19 (1):147-151.
Independence of one system of axioms and rules of inference for the propositional calculas.N. Georgiewa - 1971 - Studia Logica 28 (1):70-70.
An axiom system for three-valued Ł ukasiewicz propositional calculus.Luisa Iturrioz - 1977 - Notre Dame Journal of Formal Logic 18 (4):616-620.

Analytics

Added to PP
2010-08-24

Downloads
7 (#1,413,139)

6 months
16 (#172,419)

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