scientific article

zbMath0537.08004MaRDI QIDQ3322163

Istvan Németi, Hajnalka Andréka, Peter Burmeister

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

partial algebrasimplicationsBirkhoff type characterization of quasivarietiese-equations

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05) Partial algebras (08A55) Axiom of choice and related propositions (03E25)

Related Items (9)

A foundation for conceptual data structures by cylindric and partial algebras ⋮ Partial Horn logic and Cartesian categories ⋮ Partial abstract types ⋮ Axiomatizing relativistic dynamics without conservation postulates ⋮ Algebraic theory of quasivarieties of heterogeneous partial algebras ⋮ Equational type logic ⋮ Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras ⋮ An algebraic approach to the syntax and semantics of languages with subscripted variables ⋮ A systematic study of models of abstract data types

This page was built for publication: