On the construction of the least universal Horn class containing a given class

zbMath0264.08003MaRDI QIDQ2561620

Tsuyoshi Fujiwara

Publication date: 1971

Published in: Osaka Journal of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Free algebras (08B20) Axiomatic model classes (08C10) Other classical first-order model theory (03C68) Algebraic structures (08Axx)

Related Items (5)

Fuzzy Horn logic. II. Implicationally defined classes. ⋮ \(\Sigma\)-free models ⋮ Quasivarieties of algebraic systems ⋮ Preservation theorems for limits of structures and global sections of sheaves of structures ⋮ Fuzzy Horn logic. I. Proof theory.

This page was built for publication: On the construction of the least universal Horn class containing a given class