TABLEAUX 2002 - Position Papers
Position Papers (presented on August 1st, 2002 at
TABLEAUX@FloC'02)
- Frank M. Brown, U Kansas, USA
A tableaux based system for propositional nonmonotonic logics
[PS-file]
[PDF-file]
- Guido Fiorino, Varese U, Italy
Improving the treatment of negation in propositional Dummett logic
[PS-file]
[PDF-file]
- Jens Happe, Simon Fraser U, Canada,
Free-variable tableaux for efficient deduction in K
[PS-file]
[PDF-file]
-
Reiner Hähnle, Chalmers U of Techn., Sweden; Neil V. Murray, State U of New York-Albany, USA; and Erik Rosenthal, U New Haven, USA
Unit preference for ordered resolution and for connection graph resolution
[PS-file]
[PDF-file]
- James Harland, RMIT U, Australia
Search calculi for classical and intuitionistic logic
[PS-file]
[PDF-file]
- Georg Moser, Vienna U of Techn., Austria
Epsilon, delta, and speed-ups
[PS-file]
[PDF-file]
- Breanndán Ó Nualláin, U Amsterdam, The Netherlands
Constraint tableaux
[external link to PS-file]
- Regimantas Pliuskevicius, Inst. of Mathematics and Informatics,
Vilnius, Lithuania
A parametrical similarity saturation based decision procedure
for a fragment of FTL
[PS-file]
[PDF-file]
-
Norbert Preining, Vienna U of Techn., Austria
Proof theory and proof systems for projective and affine geometry
[PS-file]
[PDF-file]
Links
Sponsors
TABLEAUX 2002 is part of
|
FLoC'02
|
and was additionally sponsered by
|
The Kurt Gödel Society
|
and
Maintainance: Chris Fermüller
(last update: 22/7/2002)