Finitary Inductively Presented Logics (1988)

Cached

Download Links

by Solomon Feferman
Citations:24 - 1 self

Documents Related by Co-Citation

696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
16 Experience with FS 0 as a framework theory – Sean Matthews, Alan Smaill, David Basin - 1993
88 The Semantics of Reflected Proof – Stuart Allen , Robert L. Constable, Douglas J. Howe, William E. Aitken - 1990
57 Metalogical Frameworks – David A. Basin, Robert L. Constable, Im Stadtwald - 1992
83 Using Typed Lambda Calculus to Implement Formal Systems on a Machine – Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack - 1992
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
18 Implementing metamathematics as an approach to automatic theorem proving – Robert L Constable, Douglas J Howe - 1990
473 The Calculus of Constructions – T Coquand, G Huet - 1988
98 Simple Consequence Relations – Arnon Avron - 1991
107 An algorithm for testing conversion in Type Theory – Thierry Coquand - 1991
533 A Computational Logic – R BOYER, J MOORE - 1979
274 Set Theory: An Introduction to Independence Proofs – Kenneth Kunen - 1980
70 Specifying theorem provers in a higherorder logic programming language – Amy Felty, Dale Miller - 1988
102 Metafunctions: proving them correct and using them efficiently as new proof procedures – Robert S Boyer, J Strother Moore - 1981
397 A Computational Logic Handbook – R S Boyer, J S Moore - 1988
99 Edinburgh LCF: a mechanized logic of computation – Michael Gordon, Robin Milner, Christopher Wadsworth - 1979
690 Introduction to metamathematics, D – S C Kleene - 1952
168 General logics РJos̩ Meseguer - 1989
68 The Theory of LEGO - A Proof Checker for the Extended Calculus of Constructions – Robert Pollack - 1994