Implication in Equational Logic

&
Journal of Symbolic Logic 36 (1):162-162 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271555

Links

PhilArchive



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

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: H. G. Forder, J. A. Kalman, Implication in Equational Logic. [REVIEW]Ralph Seifert - 1971 - Journal of Symbolic Logic 36 (1):162-162.
Review: J. A. Kalman, Equational Completeness and Families of Sets Closed Under Subtraction. [REVIEW]Peter Perkins - 1971 - Journal of Symbolic Logic 36 (1):160-160.
Review: H. G. Forder, The Anatomy of Demonstration. [REVIEW]C. H. Langford - 1937 - Journal of Symbolic Logic 2 (4):172-172.
Review: A. Tarski, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Equational Logic and Equational Theories of Algebras. [REVIEW]Ralph Seifert - 1971 - Journal of Symbolic Logic 36 (1):161-162.
Forder H. G.. The anatomy of demonstration. The Australasian journal of psychology and philosophy, vol. 15 no. 2 , pp. 81–97. [REVIEW]C. H. Langford - 1937 - Journal of Symbolic Logic 2 (4):172-172.
Tarski A.. Equational logic and equational theories of algebras. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by Arnold Schmidt H., Schütte K., and Thiele H.-J., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 275–288. [REVIEW]Ralph Seifert - 1971 - Journal of Symbolic Logic 36 (1):161-162.
Kalman J. A.. Equational completeness and families of sets closed under subtraction. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 63 , pp. 402–405; also lndagationes mathematieae, vol. 22 , pp. 402–405. [REVIEW]Peter Perkins - 1971 - Journal of Symbolic Logic 36 (1):160.
Vredenduin P. G. J.. A system of strict implication.J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (3):124-124.
Review: P. G. J. Vredenduin, A System of Strict Implication. [REVIEW]J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (3):124-124.
Review: H. Ribeiro, R. Schwabauer, A Remark on Equational Completeness. [REVIEW]Peter Perkins - 1971 - Journal of Symbolic Logic 36 (1):161-161.

Analytics

Added to PP
2015-02-05

Downloads
13 (#288,494)

6 months
2 (#1,816,284)

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