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]

Schedule of talks (Sessions 9 and 10 of TABLEAUX@FloC'02): Print Version [PS-file]

Links

• TABLEAUX 2002 - conference home page (including program, list of accepted papers etc.)


• Proceedings - Springer LNCS 2381 (access provided by Springer-Verlag, free of charge until end of August 2002 )


• FLoC 2002 - front page (sublinks to all kind of information related to FLoC 2002)


• General TABLEAUX page (including links previous TABLEAUX events)

Sponsors

TABLEAUX 2002 is part of

FLoC'02

The Kurt Gödel Society