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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,897

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

A note on definability in equational logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.
Theories with equational forking.Markus Junker & Ingo Kraus - 2002 - Journal of Symbolic Logic 67 (1):326-340.
Near-equational and equational systems of logic for partial functions. I.William Craig - 1989 - Journal of Symbolic Logic 54 (3):795-827.
Near-equational and equational systems of logic for partial functions. II.William Craig - 1989 - Journal of Symbolic Logic 54 (4):1181-1215.
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.
The logic of algebraic rules as a generalization of equational logic.Tomasz Furmanowski - 1983 - Studia Logica 42 (2-3):251 - 257.
Proving consistency of equational theories in bounded arithmetic.Arnold Beckmann† - 2002 - Journal of Symbolic Logic 67 (1):279-296.
Equational approach to argumentation networks.D. M. Gabbay - 2012 - Argument and Computation 3 (2-3):87 - 142.
Equational postulates for the Sheffer stroke.C. A. Meredith - 1969 - Notre Dame Journal of Formal Logic 10 (3):266-270.
Graph structure and monadic second-order logic: a language-theoretic approach.B. Courcelle - 2012 - New York: Cambridge University Press. Edited by Joost Engelfriet.
Flat algebras and the translation of universal Horn logic to equational logic.Marcel Jackson - 2008 - Journal of Symbolic Logic 73 (1):90-128.
Interactions of scope and ellipsis.Stuart M. Shieber, Fernando C. N. Pereira & Mary Dalrymple - 1996 - Linguistics and Philosophy 19 (5):527 - 552.
Decidability of the Equational Theory of the Continuous Geometry CG(\Bbb {F}).John Harding - 2013 - Journal of Philosophical Logic 42 (3):461-465.
Intuitionistic Logic according to Dijkstra's Calculus of Equational Deduction.Jaime Bohórquez V. - 2008 - Notre Dame Journal of Formal Logic 49 (4):361-384.

Analytics

Added to PP
2010-08-24

Downloads
43 (#370,006)

6 months
16 (#156,849)

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.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references