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



    Upload a copy of this work     Papers currently archived: 100,440

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 of Polynominal Coalgerbras.Robert Goldblatt - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), 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 (eds.), Advances in Modal Logic. CSLI Publications. pp. 149-184.
Equational Logic as a Programming Language.Walter Taylor & Michael J. O'Donnell - 1987 - Journal of Symbolic Logic 52 (3):873.
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
56 (#380,897)

6 months
10 (#386,364)

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