Hilbert Systems | Sciweavers

MSCS
2000

126views more MSCS 2000»

Sequent combinators: a Hilbert system for the lambda calculus

13 years 4 months ago

This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...

Healfdene Goguen, Jean Goubault-Larrecq

claim paper

Read More »

click to vote

CADE
1998
Springer

106views Logical Reasoning» more CADE 1998»

Combining Hilbert Style and Semantic Reasoning in a Resolution Framework

13 years 8 months ago

Download www.pms.ifi.lmu.de

Proceedings of CADE-15, LNAI 1421, pp. 205

Hans Jürgen Ohlbach

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers