A first order logic for partial functions
From MaRDI portal
A major aim of this paper is to clarify the semantic possibilities for logics dealing with partial functions which should support the formal reasoning on programs. The authors present a first order, three valued logic for partial functions named PFOL, together with a semantical motivation of its model theory. The main difference between PFOL and traditional first order logic is in allowing partial predicates and partial functions. In the rest of the paper they show how to obtain a sound and complete sequent calculus by applying the Beth's tableaux method.
Recommendations
Cites work
- A kripke-kleene semantics for logic programs*
- A logic covering undefinedness in program proofs
- Algorithmic specifications: a constructive specification method for abstract data types
- scientific article; zbMATH DE number 3653565 (Why is no real title available?)
- scientific article; zbMATH DE number 3707731 (Why is no real title available?)
- scientific article; zbMATH DE number 3709584 (Why is no real title available?)
- scientific article; zbMATH DE number 3740740 (Why is no real title available?)
- scientific article; zbMATH DE number 3793435 (Why is no real title available?)
- scientific article; zbMATH DE number 13470 (Why is no real title available?)
- scientific article; zbMATH DE number 13471 (Why is no real title available?)
- scientific article; zbMATH DE number 1028816 (Why is no real title available?)
- scientific article; zbMATH DE number 1028817 (Why is no real title available?)
- scientific article; zbMATH DE number 3248792 (Why is no real title available?)
- scientific article; zbMATH DE number 3274715 (Why is no real title available?)
- scientific article; zbMATH DE number 3322506 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Mathematical thought. An introduction to the philosophy of mathematics
- Partial abstract types
- Partial models and logic programming
- Partial-predicate logic in computer science
- The Calculus of Partial Predicates and Its Extension to Set Theory I
- Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
Cited in
(27)- Partial logics reconsidered: A conservative approach
- Partial instantiation methods for inference in first-order logic
- A simple sequent calculus for partial functions
- Typical forcings, NP search problems and an extension of a theorem of Riis
- Reasoning about partial functions in the formal development of programs
- scientific article; zbMATH DE number 4210120 (Why is no real title available?)
- First order logic with domain conditions
- scientific article; zbMATH DE number 4089537 (Why is no real title available?)
- scientific article; zbMATH DE number 4112566 (Why is no real title available?)
- Inversive meadows and divisive meadows
- scientific article; zbMATH DE number 515734 (Why is no real title available?)
- Classical logic with partial functions
- Adding partial functions to constraint logic programming with sets
- scientific article; zbMATH DE number 1368949 (Why is no real title available?)
- scientific article; zbMATH DE number 910746 (Why is no real title available?)
- A first order logic for partial functions (extended abstract)
- A mechanization of strong Kleene logic for partial functions
- Classical logic with partial functions
- A completeness proof for a regular predicate logic with undefined truth value
- Towards systematic treatment of partial functions in knowledge representation
- Reasoning with preorders and dynamic sorts using free variable tableaux
- Logical models of mathematical texts: the case of conventions for division by zero.
- Partial functions and logics: A warning
- A prudent logic of partial functions
- A first order theory of functional parthood
- The connection between two ways of reasoning about partial functions
- Extending a first order predicate calculus with partially defined iota terms
This page was built for publication: A first order logic for partial functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q918965)
