A Mechanization of Strong Kleene Logic for Partial Functions (1994)

by Manfred Kerber , Michael Kohlhase
Venue:PROCEEDINGS OF THE 12TH CADE
Citations:29 - 11 self

Active Bibliography

6 A Tableau Calculus for Partial Functions – Manfred Kerber, Manfred Kerber, Michael Kohlhase, Michael Kohlhase - 1996
9 Mechanising Partiality without Re-Implementation – Manfred Kerber, Michael Kohlhase - 1997
4 A Resolution Calculus for Presuppositions – Manfred Kerber, Michael Kohlhase - 1996
15 A Practical Approach to Partial Functions in CVC Lite – Sergey Berezin, Clark Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, David L. Dill - 2004
1 Reasoning without Believing - On the Mechanization of Presuppositions and Partiality – Manfred Kerber, Michael Kohlhase, Fachbereich Informatik
6 Labeled Calculi and Finite-valued Logics – Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach - 1998
12 NON-DETERMINISTIC SEMANTICS FOR LOGICAL SYSTEMS – Arnon Avron, ANNA ZAMANSKY - 2008
11 Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators – Viorica Sofronie-stokkermans - 1999
3 Efficient Deduction in Many-Valued Logics – Reiner Hähnle - 1994
A Many Sorted Natural Deduction – Alessandro Cimatti, Fausto Giunchiglia, Richard Weyhrauch, Istituto Trentino Di Cultura, A. Cimatti, F. Giunchiglia, R. W. Weyhrauch - 1994
100 Simple Consequence Relations – Arnon Avron - 1991
1 Reasoning with Higher Order Partial Functions – A. Gavilanes-franco, F. Lucio-carrasco, M. Rodríguez-Artalejo - 1992
12 STMM: A Set Theory for Mechanized Mathematics – William M. Farmer - 2000
9 Treating partiality in a logic of total functions – Olaf Müller, Konrad Slind - 1997
70 Formal Methods and the Certification of Critical Systems – John Rushby - 1993
33 Resolution-based Theorem Proving for Many-valued Logics – Matthias Baaz, Christian G. Fermüller - 1995
15 Elimination of Cuts in First-order Finite-valued Logics – Matthias Baaz, Christian G. Fermüller, Richard Zach - 1994
1 Higher-Order Order-Sorted Resolution – Michael Kohlhase - 1994
Typed lambda calculi and possible worlds models – Chris Potts