scientific article; zbMATH DE number 910746

zbMATH Open0851.03004MaRDI QIDQ4885908FDOQ4885908

Authors: Manfred Kerber, Michael Kohlhase 

Publication date: 28 July 1996

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• A first order logic for partial functions
• Semantics, calculi, and analysis for object-oriented specifications
• Theorem proving for classical logic with partial functions by reduction to Kleene logic
• Title not available (Why is that?)
• A mechanization of strong Kleene logic for partial functions
• Reasoning without believing: on the mechanisation of presuppositions and partiality

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)