Independence of the equational axioms for iteration theories

DOI10.1016/0022-0000(88)90020-7zbMath0649.68010OpenAlexW1998189680WikidataQ114685264 ScholiaQ114685264MaRDI QIDQ1106011

Zoltán Ésik

Publication date: 1988

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(88)90020-7

zbMATH Keywords

iteration theoriesequational axiom schemesmany sorted algebra

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) General topics in the theory of software (68N01) Categories of machines, automata (18B20)

Related Items (13)

Some quasi-varieties of iteration theories ⋮ On flowchart theories. I. The deterministic case ⋮ Axiomatizing the equational theory of regular tree languages ⋮ Equational properties of iteration in algebraically complete categories ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ Solving polynomial fixed point equations ⋮ The equational logic of fixed points ⋮ Completeness of Park induction ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ An algebraic model of synchronous systems ⋮ Elgot theories: a new perspective on the equational properties of iteration ⋮ On a question of A. Salomaa The equational theory of regular expressions over a singleton alphabet is not finitely based ⋮ Group axioms for iteration

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebras of iteration theories
• Partially additive categories and flow-diagram semantics
• The existence and construction of free iterative theories
• On the algebraic structure of rooted trees
• Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
• Vector Iteration in Pointed Iterative Theories

This page was built for publication: Independence of the equational axioms for iteration theories