A first order logic for partial functions (extended abstract)

DOI10.1007/BFB0028972MaRDI QIDQ5096142zbMATH OpenOpenAlexFDO

Authors Francisca Lucio-Carrasco, Antonio Gavilanes-Franco

Publication date 16 August 2022

Published in STACS 89 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bfb0028972

zbMATH Keywords

sequent calculusabstract data typespartial functionuniversal formula

Mathematics Subject Classification ID

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

Recommendations

• A first order logic for partial functions
• scientific article; zbMATH DE number 4210120
• Classical logic with partial functions
• Partial logics reconsidered: A conservative approach
• The connection between two ways of reasoning about partial functions

Cites work

• scientific article; zbMATH DE number 3793435 (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?)
• A logic covering undefinedness in program proofs
• Algorithmic specifications: a constructive specification method for abstract data types
• Equational specification of partial higher-order algebras
• Partial abstract types
• Partial-predicate logic in computer science
• The foundations of mathematics. A study in the philosophy of science

Cited in

(27)

• A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems
• A functional partial semantics for intensional logic
• scientific article; zbMATH DE number 1416050 (Why is no real title available?)
• First order logic with domain conditions
• The completeness of functional logic
• A first order logic for partial functions
• Classical logic with partial functions
• Partial logics reconsidered: A conservative approach
• scientific article; zbMATH DE number 4112566 (Why is no real title available?)
• Extending a first order predicate calculus with partially defined iota terms
• Classical logic with partial functions
• Near-equational and equational systems of logic for partial functions. I
• scientific article; zbMATH DE number 3837994 (Why is no real title available?)
• Partial instantiation methods for inference in first-order logic
• Theorem proving for classical logic with partial functions by reduction to Kleene logic
• The first-order syntax of variadic functions
• scientific article; zbMATH DE number 515734 (Why is no real title available?)
• scientific article; zbMATH DE number 4089537 (Why is no real title available?)
• First-order logic and first-order functions
• A mechanization of strong Kleene logic for partial functions
• Validity in Simple Partial Logic
• Completeness of a cut-free calculus with equality and function constants
• The connection between two ways of reasoning about partial functions
• A partial functions version of Church's simple theory of types
• A system of logic for partial functions under existence-dependent kleene equality
• A first order theory of functional parthood
• Towards systematic treatment of partial functions in knowledge representation

This page was built for publication: A first order logic for partial functions (extended abstract)

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