A set of axioms for the propositional calculus with implication and converse non-implication

Notre Dame Journal of Formal Logic 6 (2):123-128 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093958151

Other Versions

edition Bacon, John; Shukla, Anjan (1966) "A Set of Axioms for the Propositional Calculus with Implication and Converse Non-Implication". Journal of Symbolic Logic 31(4):664

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,362

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

Anjan Shukla. A set of axioms for the propositional calculus with implication and converse non-implication. Notre Dame journal of formal logic, vol. 6 no. 2 , pp. 123–128. [REVIEW]John Bacon - 1966 - Journal of Symbolic Logic 31 (4):664-664.
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.
Propositional calculus in implication and non-equivalence.A. N. Prior - 1969 - Notre Dame Journal of Formal Logic 10 (3):271-272.
Two axioms for implication algebras.A. Gareau & R. Padmanabhan - forthcoming - Notre Dame Journal of Formal Logic.
Three-valued propositional fragments with classical implication.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):145-147.
Anjan Shukla. Decision procedures for Lewis system S1 and related modal systems. Notre Dame journal of formal logic, vol. 11 , pp. 141–180. [REVIEW]R. A. Bull - 1972 - Journal of Symbolic Logic 37 (4):754-755.
Independence of the axioms and rules of inference of one system of the extended propositional calculus.Nadejda Georgieva - 1971 - Notre Dame Journal of Formal Logic 12 (2):214-218.
Recursive models for three-valued propositional calculi with classical implication.Vladeta Vučković - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):148-153.
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.

Analytics

Added to PP
2010-08-24

Downloads
35 (#527,341)

6 months
2 (#1,701,107)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Handbook of Logical Thought in India.Sundar Sarukkai & Mihir Chakraborty (eds.) - 2018 - New Delhi, India: Springer.

Add more citations

References found in this work

No references found.

Add more references