scientific article
From MaRDI portal
Publication:3731650
zbMath0598.08004MaRDI QIDQ3731650
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
universal algebraspartial algebrasrelational systemsBirkhoff type theoremsuniversal Horn formulasheterogeneous algebraselementary implicationsmeta-theorem
Model-theoretic algebra (03C60) Abstract data types; algebraic specification (68Q65) Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Partial algebras (08A55) Axiomatic model classes (08C10) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)
Related Items
Foundations of logic programming in hybrid logics with user-defined sharing, Constructor-Based Institutions, Mal'cev-type conditions for partial algebras, Generalized varieties, Sheaves of implicit operations in weak varieties of partial algebras, Algebraic characterization of conflict-free varieties of partial algebras, Partial algebras, meaning categories and algebraization, Toward formal development of programs from algebraic specifications: Implementations revisited, An algebraic approach to binary relations, Ultraproducts and possible worlds semantics in institutions, Quasi-Boolean encodings and conditionals in algebraic specification, Algebra of constructions II: an algebraic approach to Martin-Löf type theory and the calculus of constructions, The lattice of convexities of partial monounary algebras, On some non-obvious connections between graphs and unary partial algebras, On Höft's characterization of weak model classes, Bialgebraic contexts for finite distributive lattices, Atomic varieties of sets with relative inverses, The partial clone of linear terms, Weak varieties of partial algebras, Partial Horn logic and Cartesian categories, Partial arithmetical data types of rational numbers and their equational specification, Finitary spectral algebraic theories, An institution-independent proof of the Robinson consistency theorem, Reasoning without believing: on the mechanisation of presuppositions and partiality, Cohomology of Effect Algebras, Foundations for structuring behavioural specifications, Unnamed Item, Choice inclusive general rough semantics, Nearlattices with an overriding operation, A syntactic congruence for languages of birooted trees, Modular proof systems for partial functions with Evans equality, On powers of relational and algebraic systems, Extensions and congruences of partial lattices, Join epimorphisms which preserve certain lattice identities, Non-strict don't care algebras and specifications, Flat algebras and the translation of universal Horn logic to equational logic, Closures in Binary Partial Algebras, SINGLE-PUSHOUT TRANSFORMATION OF TOTAL ALGEBRAS, Unsolid and fluid strong varieties of partial algebras, Algebraic Methods for Granular Rough Sets, Unnamed Item, Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets, Free objects and equational deduction for partial conditional specifications, Algebraization of quantifier logics, an introductory overview, A partial algebras approach to graph transformation, Programs in partial algebras, The subalgebra lattice of a finite algebra, On Combinations of Local Theory Extensions, A STRONG PROPERTY OF THE WEAK SUBALGEBRA LATTICE FOR LOCALLY FINITE ALGEBRAS OF FINITE TYPE, Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras, A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques, Join-completions of partially ordered algebras, Algebraic theory of quasivarieties of heterogeneous partial algebras, Quasi-varieties: A special access, On subdirectly irreducible OMAs, Hypergraphs induced by algebras of fixed type, The weak hereditary class of a variety, Esoteric Rough Set Theory: Algebraic Semantics of a Generalized VPRS and VPFRS, On an essentially algebraic theory for locally presentable categories, Structural induction in institutions, An encoding of partial algebras as total algebras, ESSENTIALLY ALGEBRAIC CATEGORIES OF PARTIAL ALGEBRAS, On linear exactness properties, On Local Reasoning in Verification, Equational type logic, Unnamed Item, Partial clones, On some graph problem in the theory of partial algebras. I., HSP-type characterization of strong equational classes of partial algebras, Algebraic transformation of unary partial algebras II: Single-pushout approach, A Birkhoff theorem for partial algebras via completion, Towards Logics of Some Rough Perspectives of Knowledge, Partial Menger algebras of terms, Logical systems for structured specifications., Relating CASL with other specification languages: the institution level., Small orthomodular partial algebras., Local Lie semigroups and open embeddings into global topological semigroups, On labeled birooted tree languages: algebras, automata and logic, On the semilattice of inner extensions of a fuzzy partial algebra, Strong regular varieties of partial algebras, First order theories for partial models
