3 search results - page 1 / 1 » Pandora: A Reasoning Toolbox using Natural Deduction Style |
IGPL
2007
13 years 4 months ago
2007
Pandora is a tool for supporting the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the ‘‘e-tutor’â...
TYPES
1995
Springer
13 years 8 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
ACL
1989
13 years 6 months ago
1989
The logic behind parsers for categorial grammars can be formalized in several different ways. Lambek Calculus (LC) constitutes an example for a natural deduction 1 style parsing m...