69 search results - page 9 / 14 » igpl 2006 |
IGPL
2007
13 years 9 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’â...
IGPL
2007
13 years 9 months ago
2007
In the School of Mathematical Sciences at Queen Mary in the University of London we have been running a module that teaches the students to write good mathematical English. The mo...
IGPL
2007
13 years 9 months ago
2007
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...
IGPL
2000
13 years 9 months ago
2000
The aim of this paper is to investigate the expressibility of classical propositional monomodal logics. To this end, a notion of embedding of one logic into another is introduced,...
IGPL
1998
13 years 9 months ago
1998
Hypersequents are nite sets of ordinary sequents. We show that multiple-conclusion sequents and single-conclusion hypersequents represent two di erent natural methods of switching...