zbMATH — the first resource for mathematics

Equational properties of stratified least fixed points (extended abstract). (English) Zbl 06484976
Paiva, Valeria (ed.) et al., Logic, language, information, and computation. 22nd international workshop, WoLLIC 2015, Bloomington, IN, USA, July 20–23, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-47708-3/pbk; 978-3-662-47709-0/ebook). Lecture Notes in Computer Science 9160, 174-188 (2015).
Summary: Recently, a novel fixed point operation has been introduced over certain non-monotonic functions between ‘stratified complete lattices’ and used to give semantics to logic programs with negation and boolean context-free grammars. We prove that this new operation satisfies ‘the standard’ identities of fixed point operations as described by the axioms of iteration theories.
For the entire collection see [Zbl 1319.03010].

03B70 Logic in computer science
Full Text: DOI