Equational logic

&
Notre Dame Journal of Formal Logic 9 (3):212-226 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093893457

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,599

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

Equational Logic.Walter Taylor - 1982 - Journal of Symbolic Logic 47 (2):450-450.
Corrigendum to C. A. Meredith's and my paper: "Equational logic".A. N. Prior - 1969 - Notre Dame Journal of Formal Logic 10 (4):452-452.
Fuzzy equational logic.Radim B.& X. B.. Lohl& X. 000 E. 1 vek - 2002 - Archive for Mathematical Logic 41 (1):83-90.
Implication in Equational Logic.H. G. Forder & J. A. Kalman - 1971 - Journal of Symbolic Logic 36 (1):162-162.
Equational Logic as a Programming Language.Walter Taylor & Michael J. O'Donnell - 1987 - Journal of Symbolic Logic 52 (3):873.
Equational Logic of Polynominal Coalgerbras.Robert Goldblatt - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 149-184.
Equational Logic of Polynominal Coalgerbras.Robert Goldblatt - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 149-184.
The Equational Logic For Graph Algebras.Reinhard Pöschel - 1989 - Mathematical Logic Quarterly 35 (3):273-282.
Fuzzy equational logic.Radim Bělohlávek - 2002 - Archive for Mathematical Logic 41 (1):83-90.
A note on definability in equational logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.

Analytics

Added to PP
2010-08-24

Downloads
59 (#395,578)

6 months
10 (#383,830)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Béziau's Translation Paradox.Lloyd Humberstone - 2005 - Theoria 71 (2):138-181.
Variations on a Theme of Curry.Lloyd Humberstone - 2006 - Notre Dame Journal of Formal Logic 47 (1):101-131.
The two-property and condensed detachment.J. A. Kalman - 1982 - Studia Logica 41 (2-3):173 - 179.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references