Two axioms for implication algebras

&
Notre Dame Journal of Formal Logic (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Axioms for generalized Newman algebras.R. Beazer - 1978 - Notre Dame Journal of Formal Logic 19 (4):674-678.
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.
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.
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.
On the logic of contingent relevant implication: a conceptual incoherence in the intuitive interpretation of ${\rm R}$.Mark Lance - 1988 - Notre Dame Journal of Formal Logic 29 (4):520-529.
Two axiom systems for relation algebras.Chris Brink - 1979 - Notre Dame Journal of Formal Logic 20 (4):909-914.
On the logic of continuous algebras.Jiří Adámek, Alan H. Mekler, Evelyn Nelson & Jan Reiterman - 1988 - Notre Dame Journal of Formal Logic 29 (3):365-380.
Dedekind algebras.G. Weaver - forthcoming - Notre Dame Journal of Formal Logic.
Equational two axiom bases for Boolean algebras and some other lattice theories.Bolesław Sobociński - 1979 - Notre Dame Journal of Formal Logic 20 (4):865-875.
Schock Rolf. Some definitions of subjunctive implication, of counterfactual implication, and of related concepts. Notre Dame journal of formal logic, vol. 2 , pp. 206–221.Schock Rolf. A note on subjunctive and counterfactual implication. Notre Dame journal of formal logic, vol. 3 , pp. 289–290. [REVIEW]Arnold Koslow - 1970 - Journal of Symbolic Logic 35 (2):319-319.

Analytics

Added to PP
2014-03-19

Downloads
26 (#598,685)

6 months
6 (#700,231)

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