Ésik, Zoltán 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]. Cited in 4 Documents MSC: 03B70 Logic in computer science PDF BibTeX XML Cite \textit{Z. Ésik}, Lect. Notes Comput. Sci. 9160, 174--188 (2015; Zbl 06484976) Full Text: DOI