A prudent logic of partial functions

DOI10.1007/S10472-025-09999-1MaRDI QIDQ7355848zbMATH OpenFDO

Authors Đorđe Marković, Robbe Van den Eede, Marc Denecker

Publication date 23 September 2026

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10472-025-09999-1

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• A ``conservative approach to extending answer set programming with non-Herbrand functions
• A first order logic for partial functions
• A formulation of the simple theory of types.
• A logic of nonmonotone inductive definitions
• A new logical characterisation of stable models and answer sets
• A partial functions version of Church's simple theory of types
• A practical approach to partial functions in CVC Lite
• Adding partial functions to constraint logic programming with sets
• ASP with non-herbrand partial functions: a language and system for practical use
• Classical logic with partial functions
• Cut-elimination for a logic with definitions and induction
• Dependent Types at Work
• Die formalen Regeln der intuitionistischen Logik. I, II, III.
• Foreword: three-valued logics and their applications
• Grounding FO and FO(ID) with bounds
• scientific article; zbMATH DE number 1696830 (Why is no real title available?)
• scientific article; zbMATH DE number 3650529 (Why is no real title available?)
• scientific article; zbMATH DE number 590999 (Why is no real title available?)
• scientific article; zbMATH DE number 1439714 (Why is no real title available?)
• scientific article; zbMATH DE number 3271472 (Why is no real title available?)
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• scientific article; zbMATH DE number 3365218 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Incremental determinization
• Partial Functions and Equality in Answer Set Programming
• The many valued and nonmonotonic turn in logic
• The well-founded semantics for general logic programs
• Towards systematic treatment of partial functions in knowledge representation
• Types for Proofs and Programs
• Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
• Zum intuitionistischen Aussagekalkül.

This page was built for publication: A prudent logic of partial functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7355848)