scientific article; zbMATH DE number 910746

zbMATH Open0851.03004MaRDI QIDQ4885908FDOQ4885908

Authors Manfred Kerber, Michael Kohlhase

Publication date 28 July 1996

zbMATH Keywords

three-valued logictableau calculussorted logicmathematical reasoning with partial functions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Many-valued logic (03B50) Logic programming (68N17) Mechanization of proofs and logical operations (03B35)

Recommendations

• A mechanization of strong Kleene logic for partial functions
• A first order logic for partial functions (extended abstract)
• A first order logic for partial functions
• Theorem proving for classical logic with partial functions by reduction to Kleene logic
• Classical logic with partial functions

Cited in

(6)

• Reasoning without believing: on the mechanisation of presuppositions and partiality
• scientific article; zbMATH DE number 1284136 (Why is no real title available?)
• A mechanization of strong Kleene logic for partial functions
• Theorem proving for classical logic with partial functions by reduction to Kleene logic
• Semantics, calculi, and analysis for object-oriented specifications
• A first order logic for partial functions

This page was built for publication:

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