Publication:4312342

DOI10.1080/01445349408837231zbMATH Open0812.03015OpenAlexW2072882694WikidataQ58531057 ScholiaQ58531057MaRDI QIDQ4312342FDOQ4312342

George E. Weaver

Publication date: 10 November 1994

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445349408837231

zbMATH Keywords

varietylogical consequencededucibilityequational consequencemodel extensiondefinability of an \(n\)-ary functional constantEquational Definability Theoremequational synonymyhistory of equational logic

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Abstract deductive systems (03B22) Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Interpolation, preservation, definability (03C40)

Cites Work

• Title not available (Why is that?)
• The Logic of Equality
• Two Definability Results in the Equational Context
• Horn sentences
• A note on definability in equational logic
• Some applications of infinitely long formulas

Cited In (7)

• A note on equality in finite‐type arithmetic
• A Note on Definability and Approximations
• A note on definability in equational logic
• Some remarks on equivalence in infinitary and stationary logic
• A note on equational theories
• Title not available (Why is that?)
• Definability in the language of functional equations of a countable-valued logic

This page was built for publication: A note on definability in equational logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4312342)