Equational properties of stratified least fixed points (Extended abstract)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationLogic, Language, Information and Computation - 22nd International Workshop, WoLLIC 2015, Proceedings
EditorsRuy de Queiroz, Lawrence S. Moss, Anjolina G. de Oliveira, Valeria de Paiva, Daniel Leivant
PublisherSpringer Verlag
Pages174-188
Number of pages15
ISBN (Print)9783662477083
DOIs
Publication statusPublished - Jan 1 2015
Event22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015 - Bloomington, United States
Duration: Jul 20 2015Jul 23 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9160
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015
CountryUnited States
CityBloomington
Period7/20/157/23/15

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Equational properties of stratified least fixed points (Extended abstract)'. Together they form a unique fingerprint.

  • Cite this

    Ésik, Z. (2015). Equational properties of stratified least fixed points (Extended abstract). In R. de Queiroz, L. S. Moss, A. G. de Oliveira, V. de Paiva, & D. Leivant (Eds.), Logic, Language, Information and Computation - 22nd International Workshop, WoLLIC 2015, Proceedings (pp. 174-188). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9160). Springer Verlag. https://doi.org/10.1007/978-3-662-47709-0_13