History and Philosophy of Logic 15 (2):189-199 (1994)
After an introduction which demonstrates the failure of the equational analogue of Beth?s definability theorem, the first two sections of this paper are devoted to an elementary exposition of a proof that a functional constant is equationally definable in an equational theory iff every model of the set of those consequences of the theory that do not contain the functional constant is uniquely extendible to a model of the theory itself.Sections three, four and five are devoted to applications and extensions of this result.Topics considered here include equational definability in first order logic, an extended notion of definability in equational logic and the synonymy of equational theories.The final two sections briefly review some of the history of equational logic
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Some Applications of Infinitely Long Formulas.H. Jerome Keisler - 1965 - Journal of Symbolic Logic 30 (3):339-349.
A Method in Proofs of Undefinability.Karel Louis de Bouvère - 1959 - Amsterdam: North-Holland Pub. Co..
Citations of this work BETA
No citations found.
Similar books and articles
Interactions of Scope and Ellipsis.Stuart M. Shieber, Fernando C. N. Pereira & Mary Dalrymple - 1996 - Linguistics and Philosophy 19 (5):527 - 552.
On the Equational Theory of Representable Polyadic Equality Algebras.István Németi & Gábor Sági - 2000 - Journal of Symbolic Logic 65 (3):1143-1167.
Abstract Beth Definability in Institutions.Marius Petria & Răzvan Diaconescu - 2006 - Journal of Symbolic Logic 71 (3):1002 - 1028.
Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach.B. Courcelle - 2012 - Cambridge University Press.
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.
Near-Equational and Equational Systems of Logic for Partial Functions. II.William Craig - 1989 - Journal of Symbolic Logic 54 (4):1181-1215.
Near-Equational and Equational Systems of Logic for Partial Functions. I.William Craig - 1989 - Journal of Symbolic Logic 54 (3):795-827.
Added to index2010-08-10
Total downloads5 ( #577,977 of 2,079,507 )
Recent downloads (6 months)1 ( #396,084 of 2,079,507 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.