Lambda logic

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3097, Issue , 2004, Pages 460-474

  Beeson, Michael ^a  

^a SAN JOSE STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CALCULATIONS; FUNCTIONS; PROBLEM SOLVING; SET THEORY; THEOREM PROVING; AUTOMATION; DIFFERENTIATION (CALCULUS); FORMAL LOGIC;

GODEL'S THEORY; LAMBDA CALCULUS; LAMBDA LOGIC; PARAMODULATION; FIRST ORDER; FIRST ORDER LOGIC; META-THEOREMS; SECOND ORDERS;

FORMAL LOGIC; COMPUTATION THEORY;

EID: 9444246498     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25984-8_34     Document Type: Conference Paper

References (9)

1. Barendregt, H., The Lambda Calculus: Its Syntax and Semantics, Studies in Logic and the Foundations of Mathematics 103, Elsevier Science Ltd. Revised edition (October 1984).
2. Barendregt, H., Bunder, M., and Dekkers, W., Completeness of two systems of illative combinatory logic for first order prepositional and predicate calculus Archive für Mathematische Logik 37, 327-341, 1998.
3. Beeson, M., Foundations of Constructive Mathematics, Springer-Verlag, Berlin Heidelberg New York (1985).
4. Beeson, M., Proving programs and programming proofs, in: Barcan, Marcus, Dorn, and Weingartner (eds.), Logic, Methodology, and Philosophy of Science VII, proceedings of the International Congress, Salzburg, 1983, pp. 51-81, North-Holland, Amsterdam (1986).
5. Beeson, M., Otter Two System Description, submitted to IJCAR 2004.
6. S. Feferman, Constructive theories of functions and classes, pp. 159-224 in: M. Boffa, D. van Dalen, and K. McAloon (eds.), Logic Colloquium '78: Proceedings of the Logic Colloquium at Mons, North-Holland, Amsterdam (1979).
7. E. Moggi. The Partial Lambda-Calculus. PhD thesis, University of Edinburgh, 1988. http://citeseer.nj.nec.com/moggi88partial.html
8. Scott, D., Identity and existence in intuitionistic logic, in: Fourman, M. P., Mulvey, C. J., and Scott, D. S. (eds.), Applications of Sheaves, Lecture Notes in Mathematics 753 660-696, Springer-Verlag, Berlin Heidelberg New York (1979).
9. Shoenfield, J. R., Mathematical Logic, Addison-Wesley, Reading, Mass. (1967).