scientific article; zbMATH DE number 910746

MaRDI QIDQ4885908zbMATH OpenFDO

Authors Manfred Kerber, Michael Kohlhase

Publication date 28 July 1996

zbMATH Keywords

mathematical reasoning with partial functionssorted logictableau calculusthree-valued logic

Mathematics Subject Classification ID

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

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

(9)

• Semantics, calculi, and analysis for object-oriented specifications
• Theorem proving for classical logic with partial functions by reduction to Kleene logic
• scientific article; zbMATH DE number 1284136 (Why is no real title available?)
• Reasoning without believing: on the mechanisation of presuppositions and partiality
• A mechanization of strong Kleene logic for partial functions
• The HOL-CSP Refinement Toolkit
• HOL-CSP Version 2.0
• A Sound Type System for Physical Quantities, Units, and Measurements
• 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)