Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras

DOI10.1007/BF02483730zbMath0511.03014MaRDI QIDQ1838960

Peter Burmeister

Publication date: 1982

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

zbMATH Keywords

surveypartial algebrasvarietiesfirst order logicaxiomatizability results

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Axiomatic model classes (08C10) Models of other mathematical theories (03C65)

Related Items (27)

Algebraic characterization of conflict-free varieties of partial algebras ⋮ On the existence of free models in abstract algebraic institutions ⋮ The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus ⋮ Algebraic-coalgebraic specification in CoCASL ⋮ Quasi-varieties in abstract algebraic institutions ⋮ Conditional theories ⋮ The Division Relation: Congruence Conditions and Axiomatisability ⋮ Specifications in an arbitrary institution ⋮ Foundations for structuring behavioural specifications ⋮ Preservation in many-valued truth institutions ⋮ Graded consequence: an institution theoretic study ⋮ Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras ⋮ Flat algebras and the translation of universal Horn logic to equational logic ⋮ Closures in Binary Partial Algebras ⋮ Unnamed Item ⋮ Specification and proof in membership equational logic ⋮ Collapsing partial combinatory algebras ⋮ Data types with errors and exceptions ⋮ Near-equational and equational systems of logic for partial functions. I ⋮ Algebraic theory of quasivarieties of heterogeneous partial algebras ⋮ On subdirectly irreducible OMAs ⋮ 2004 Summer Meeting of the Association for Symbolic Logic ⋮ HSP-type characterization of strong equational classes of partial algebras ⋮ Classifying categories for partial equational logic ⋮ Non-deterministic data types: Models and implementations ⋮ Logical systems for structured specifications. ⋮ Relating CASL with other specification languages: the institution level.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• From hereditary classes to varieties in abstract model theory and partial algebra
• Epis need not be dense
• An embedding theorem for partial algebras and the free completion of a free partial algebra within a primitive class
• Weak and strong equations in partial algebras
• Partial morphisms on partial algebras
• The class of topological spaces is equationally definable
• A general existence theorem on partial algebras and its special cases
• Completion varieties
• On the completion of partial algebras
• Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
• Free partial algebras.
• A homomorphism theorem for partial algebras
• Heterogeneous algebras
• Prädikatenlogik mit partiell definierten Funktionen
• The Word Problem for Abstract Algebras
• On the rules of proof in the pure functional calculus of the first order

This page was built for publication: Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras