A practical approach to partial functions in CVC Lite

MaRDI QIDQ2848053zbMATH OpenFDO

Authors Sergey Berezin, Clark Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, David L. Dill

Publication date 25 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105050693

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic in computer science (03B70)

Recommendations

• Partial functions in a total setting
• The connection between two ways of reasoning about partial functions
• A mechanization of strong Kleene logic for partial functions
• Computer Aided Verification
• Theorem proving for classical logic with partial functions by reduction to Kleene logic

Cited in

(11)

• Partial functions in ACL2
• Satisfiability in composition-nominative logics
• An abstract decision procedure for satisfiability in the theory of recursive data types
• Efficient Well-Definedness Checking
• Formal verification of logical descriptions with functional uncertainty based on logarithmic encoding of conditions
• Classical logic with partial functions
• Computer Aided Verification
• 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
• A prudent logic of partial functions

This page was built for publication: A practical approach to partial functions in CVC Lite

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