Partial functions in a total setting

DOI10.1023/A:1005702928286MaRDI QIDQ679251zbMATH OpenFDO

Authors Simon Finn, John Longley, Michael Paul Fourman

Publication date 7 September 1997

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1005702928286

zbMATH Keywords

mechanical theorem provingpartial recursive functions

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• Partial logics reconsidered: A conservative approach
• Partial functions in type theory
• Partial functions in ACL2
• scientific article; zbMATH DE number 4210120

Cited in

(19)

• Partial logics reconsidered: A conservative approach
• A typed logic of partial functions reconstructed classically
• Partial functions in ACL2
• A practical approach to partial functions in CVC Lite
• Reasoning about partial functions in the formal development of programs
• Theorem proving for classical logic with partial functions by reduction to Kleene logic
• scientific article; zbMATH DE number 4210120 (Why is no real title available?)
• A two-valued logic for properties of strict functional programs allowing partial functions
• Partial Recursive Functions in Higher-Order Logic
• scientific article; zbMATH DE number 4074542 (Why is no real title available?)
• Partiality and recursion in higher-order logic
• A mechanization of strong Kleene logic for partial functions
• Fast and loose reasoning is morally correct
• Partiality and recursion in interactive theorem provers -- an overview
• A step-indexing approach to partial functions
• Partial functions in type theory
• Reasoning about incompletely defined programs
• Partial and nested recursive function definitions in higher-order logic
• Extending a first order predicate calculus with partially defined iota terms

This page was built for publication: Partial functions in a total setting

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