A note on definability in equational logic
type: Item
instance of: scholarly article
title: A note on definability in equational logic
zbMATH Open document ID: 0812.03015
DOI: 10.1080/01445349408837231
published in: History and Philosophy of Logic
publication date: 1994-11-10T00:00:00Z
Mathematics Subject Classification ID: 03C05
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 08B05
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 03-03
zbMATH DE Number: 683193
zbMATH Keywords: model extension
zbMATH Keywords: deducibility
zbMATH Keywords: logical consequence
zbMATH Keywords: equational consequence
zbMATH Keywords: definability of an \(n\)-ary functional constant
zbMATH Keywords: Equational Definability Theorem
zbMATH Keywords: variety
zbMATH Keywords: equational synonymy
zbMATH Keywords: history of equational logic
author: George E. Weaver
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.1080/01445349408837231
OpenAlex ID: W2072882694
Wikidata QID: Q58531057
cites work: Q5638302
cites work: Horn sentences
cites work: Two Definability Results in the Equational Context
cites work: The Logic of Equality
cites work: Some applications of infinitely long formulas
description: scientific article; zbMATH DE number 683193