Abstract is missing.
- On Sets, Types, Fixed Points, and CheckerboardsPeter B. Andrews, Matthew Bishop. 1-15
- Fibred Tableaux for Multi-Implication LogicMarcello D Agostino, Dov M. Gabbay. 16-35
- Interpolation for a Sequent Calculus of Generalized QuantifiersNatasha Alechina. 36-47
- Almost Duplication-Free Tableau Calculi for Propositional Lax LogicsAlessandro Avellone, Mauro Ferrari. 48-64
- Combining Many-valued and Intuitionistic TableauxMatthias Baaz, Christian G. Fermüller. 65-79
- Cyclic ConnectionsGérard Becher. 80-92
- Incremental Theory Reasoning Methods for Semantic TableauxBernhard Beckert, Christian Pape. 93-109
- The Disconnection Method - A Confluent Integration of Unification in the Analytic FrameworkJean-Paul Billon. 110-126
- Sequent Calculi for Default and Autoepistemic LogicsPiero A. Bonatti. 127-142
- Minimal Model Generation with Positive Unit Hyper-Resolution TableauxFrançois Bry, Adnan H. Yahya. 143-159
- Distributed Modal Theorem Proving with KEJeremy V. Pitt, Jim Cunningham. 160-176
- A Simple Tableau System for the Logic of ElsewhereStéphane Demri. 177-192
- Situational Calculus, Linear Connection Proofs and STRIPS-like Planning: An Experimental ComparisonBertram Fronhöfer. 193-209
- Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional LogicsAlain Heuerding, Michael Seyfried, Heinrich Zimmermann. 210-225
- Strong Normalization for All-Style LKJean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco. 226-243
- T-String Unification: Unifying Prefixes in Non-classical Proof MethodsJens Otten, Christoph Kreitz. 244-260
- A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational CircuitsMichael Mendler. 261-277
- A Tableau Calculus for Minimal Model ReasoningIlkka Niemelä. 278-294
- On the Intuitionistic Force of Classical Search (Extended Abstract)Eike Ritter, David J. Pym, Lincoln A. Wallen. 295-311
- Proof-Search in Intuitionistic Logic Based on Constraint SatisfactionAndrei Voronkov. 312-329