Equational Properties of Stratified Least Fixed Points (Extended Abstract)

DOI10.1007/978-3-662-47709-0_13zbMath1465.68169arXiv1410.8111OpenAlexW1443075279MaRDI QIDQ2947468

Zoltán Ésik

Publication date: 24 September 2015

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1410.8111

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55)

Related Items

An analysis of the equational properties of the well-founded fixed point, Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview, Equational Properties of Stratified Least Fixed Points (Extended Abstract), The intricacies of three-valued extensional semantics for higher-order logic programs, Equational properties of fixed-point operations in cartesian categories: An overview, Extensional Semantics for Higher-Order Logic Programs with Negation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Ultimate approximation and its application in nonmonotonic knowledge representation systems
• Fixed-point operations on ccc's. I
• The alternating fixpoint of logic programs with negation
• Equational properties of iteration in algebraically complete categories
• Group axioms for iteration
• Completeness of Park induction
• Fixpoint semantics for logic programming a survey
• Equational logic of circular data type specification
• A fixed point theorem for non-monotonic functions
• A lattice-theoretical fixpoint theorem and its applications
• Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation
• Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars
• Equational Properties of Stratified Least Fixed Points (Extended Abstract)
• Equational axioms associated with finite automata for fixed point operations in cartesian categories
• The Semantics of Predicate Logic as a Programming Language
• Minimum model semantics for logic programs with negation-as-failure
• Splitting an operator