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

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

Documents Related by Co-Citation

690 Introduction to metamathematics, D – S C Kleene - 1952
75 A partial functions version of Church’s simple theory of types – William M Farmer - 1990
24 CERES in many-valued logics – Matthias Baaz, Alexander Leitsch - 2005
52 Systematization of the finite many-valued logics through the method of tableaux – Walter A Carnielli - 1987
15 F.: A first order logic for partial functions – A Gavilanes-Franco, Lucio-Carrasco - 1990
8 The foundations of partial type theory – Pavel Tichý - 1982
854 A formulation of the simple theory of types – Alonzo Church - 1940
311 An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (2nd Ed – Peter B Andrews - 2002
8 A tableau calculus for partial functions. Collegium Logicum – Manfred Kerber, Michael Kohlhase - 1996
6 A Tableau Calculus for Partial Functions – Manfred Kerber, Manfred Kerber, Michael Kohlhase, Michael Kohlhase - 1996
6 Automated Theorem Proving in Multiple Valued Logics – Reiner Hähnle, Project M. D'agostino, J. Dix, I. Gent, M. Kummer, J. Lu, B. Ludascher, N. Murray, J. Posegga, W. Reif, E. Rosenthal, Karlsruhe R. H
7 A resolution calculus with dynamic sort structures and partial functions – Christoph Weidenbach - 1989
12 First-order tableaux with sorts – C Weidenbach - 1995
191 Outline of a mathematical theory of computation – D S Scott - 1970
9 Mechanising Partiality without Re-Implementation – Manfred Kerber, Michael Kohlhase - 1997
9 A sorted logic using dynamic sorts – Christoph Weidenbach - 1991
422 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
533 A Computational Logic – R BOYER, J MOORE - 1979
2 Stickel Schubert's Steamroller Problem: Formulations and Solutions – E Mark - 1986