Structure-semantics relation for non-varietal equational theories

DOI10.1007/BF02482918zbMath0444.18004MaRDI QIDQ1144639

S. H. Smith

Publication date: 1980

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

semanticsequational theorystructurestructure-semantics relationvarietal theory

Mathematics Subject Classification ID

Equational categories (18C05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Equational classes, universal algebra in model theory (03C05) Categories of algebras (08C05)

Related Items (6)

Concrete categories and infinitary languages ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The category of complete lattices as a category of algebras ⋮ Varieties of infinitary universal algebras

Cites Work

• Applied functorial semantics. I
• General Functorial Semantics, I

This page was built for publication: Structure-semantics relation for non-varietal equational theories