4. TABLEAUX 1995: Schloß Rheinfels, St. Goar, Germany

Invited Talk I

Classical Logic - Extensional

Modal Logic

Intuitionistic Logic

Invited Talk II

Classical Logic - Connection Method and Model Elimination

Classical Logic - Non-Clausal Proof Procedures

Linear Logic

Higher-order Logic

Applications

maintained by Schloss Dagstuhl LZI, founded at University of Trier