A first order logic for partial functions

DOI10.1016/0304-3975(90)90005-3MaRDI QIDQ918965zbMATH OpenOpenAlexFDO

Authors Antonio Gavilanes-Franco, Francisca Lucio-Carrasco

Publication date 1990

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(90)90005-3

zbMATH Keywords

sequent calculuslogic for partial functionsBeth's tableaux methodformal reasoning on programspartial predicates

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• A first order logic for partial functions (extended abstract)
• scientific article; zbMATH DE number 4210120
• Classical logic with partial functions
• Partial logics reconsidered: A conservative approach
• scientific article; zbMATH DE number 910746

Cites work

• 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?)
• A kripke-kleene semantics for logic programs*
• A logic covering undefinedness in program proofs
• Algorithmic specifications: a constructive specification method for abstract data types
• 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

(22)

• Partial logics reconsidered: A conservative approach
• Extending a first order predicate calculus with partially defined iota terms
• Classical logic with partial functions
• Reasoning about partial functions in the formal development of programs
• Towards systematic treatment of partial functions in knowledge representation
• Classical logic with partial functions
• A simple sequent calculus for partial functions
• A mechanization of strong Kleene logic for partial functions
• scientific article; zbMATH DE number 515734 (Why is no real title available?)
• A first order logic for partial functions (extended abstract)
• Adding partial functions to constraint logic programming with sets
• scientific article; zbMATH DE number 4112566 (Why is no real title available?)
• Typical forcings, NP search problems and an extension of a theorem of Riis
• scientific article; zbMATH DE number 4089537 (Why is no real title available?)
• Inversive meadows and divisive meadows
• The connection between two ways of reasoning about partial functions
• Partial instantiation methods for inference in first-order logic
• First order logic with domain conditions
• A completeness proof for a regular predicate logic with undefined truth value
• A first order theory of functional parthood
• Reasoning with preorders and dynamic sorts using free variable tableaux
• Logical models of mathematical texts: the case of conventions for division by zero.

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)