The logic of recursive equations

DOI10.2307/2586843zbMath0911.03022OpenAlexW1973730262MaRDI QIDQ4212915

Yiannis N. Moschovakis, Lawrence S. Moss, Glen Whitney, Monica McArthur, Antonius J. C. Hurkens

Publication date: 27 April 1999

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.4168

zbMATH Keywords

iteration theorycategory of structuresfragments of FLRfunctional language of recursion

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Abstract and axiomatic computability and recursion theory (03D75)

Related Items

THE POWER OF THE GROUP-IDENTITIES FOR ITERATION, Axiomatizing the equational theory of regular tree languages, A complete logic for behavioural equivalence in coalgebras of finitary set functors, Recursion and corecursion have the same equational logic, A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors, Parametric corecursion, Unnamed Item, Group axioms for iteration

Cites Work

• A model of concurrency with fair merge and full recursion
• Categorial generalization of algebraic recursion theory
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item