A first order logic for partial functions
From MaRDI portal
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
(26)- 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 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)
