Algebras with a Scheme of Operators
From MaRDI portal
Publication:5727668
DOI10.1002/mana.19630270108zbMath0117.25903OpenAlexW2036857782MaRDI QIDQ5727668
Publication date: 1963
Published in: Mathematische Nachrichten (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/mana.19630270108
Related Items
Unnamed Item, Applications of type theory, Quasivarieties of automata. Connections with quasigroups, Homomorphisms of heterogeneous algebras, ``Not just an idle game: the story of higher-dimensional versions of the Poincaré fundamental group, Many-sorted algebras in congruence modular varieties, Weak varieties of partial algebras, Many-sorted and single-sorted algebras, Polymorphic syntax definition, Algebraic processing of programming languages, Contextual grammars vs. context-free algebras, Modelling and computing homotopy types: I, An Oxford survey of order sorted algebra, Varieties of chain-complete algebras, Groups, triality, and hyperquasigroups., On the semantic equivalence of language syntax formalisms, Syntax versus semantics in knowledge bases – I, Unnamed Item, Hyperidentities and hypervarieties, Zariski closed algebras in varieties of universal algebra., Unnamed Item, Birkhoff-Frink representations as functors, Relations in operational categories, Logically automorphically equivalent knowledge bases models, ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS, Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations, Reflection-closed varieties of multisorted algebras and minor identities, A theory of binding structures and applications to rewriting, Programs in partial algebras, Characterizing Mal'cev conditions, Partial morphisms on partial algebras, Fuzzy sets as two-sorted algebras, THE LANGUAGE OF GENERAL SYSTEMS LOGICAL THEORY (GSLT), On homomorphisms of many-sorted algebraic systems in connection with cryptographic applications, Crossed Complexes and Higher Homotopy Groupoids as Noncommutative Tools for Higher Dimensional Local-to-Global Problems, A generalized approach to formal languages, QUASIGROUP HOMOTOPIES, SEMISYMMETRIZATION, AND REVERSIBLE AUTOMATA, A 2-categorial generalization of the concept of institution, Bilattices and hyperidentities, Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge, Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties, The two-sorted algebraic theory of states, and the universal states of MV-algebras, Some remarks on free categories and free groupoids, Some logical invariants of algebras and logical relations between algebras, Weighted parsing for grammar-based language models over multioperator monoids, Equational type logic, The Magnus representation in congruence modular varieties, Free decompositions in certain primitive classes of abstract algebras, Radical theory for algebras with a scheme of operators, Admissible subgroups of \(\Gamma\)-free groups, Unnamed Item, m-ary \(\Omega\)-ringoids, Unnamed Item, Unnamed Item, The logic-algebraic equations method in system dynamics, An algebraic approach to the syntax and semantics of languages with subscripted variables, Specification languages in algebraic compilers, Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
Cites Work
