5. TABLEAUX 1996: Terrasini, Palermo, Italy

Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi (Eds.): Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings. Lecture Notes in Computer Science 1071 Springer 1996, ISBN 3-540-61208-4 BibTeX

@proceedings{DBLP:conf/tableaux/1996,
  editor    = {Pierangelo Miglioli and
               Ugo Moscato and
               Daniele Mundici and
               Mario Ornaghi},
  title     = {Theorem Proving with Analytic Tableaux and Related Methods, 5th
               International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy,
               May 15-17, 1996, Proceedings},
  booktitle = {TABLEAUX},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1071},
  year      = {1996},
  isbn      = {3-540-61208-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

Peter B. Andrews, Matthew Bishop: On Sets, Types, Fixed Points, and Checkerboards. 1-15 BibTeX
Marcello D'Agostino, Dov M. Gabbay: Fibred Tableaux for Multi-Implication Logic. 16-35 BibTeX

Contributed Papers

Natasha Alechina: Interpolation for a Sequent Calculus of Generalized Quantifiers. 36-47 BibTeX
Alessandro Avellone, Mauro Ferrari: Almost Duplication-Free Tableau Calculi for Propositional Lax Logics. 48-64 BibTeX
Matthias Baaz, Christian G. Fermüller: Combining Many-valued and Intuitionistic Tableaux. 65-79 BibTeX
Gérard Becher: Cyclic Connections. 80-92 BibTeX
Bernhard Beckert, Christian Pape: Incremental Theory Reasoning Methods for Semantic Tableaux. 93-109 BibTeX
Jean-Paul Billon: The Disconnection Method - A Confluent Integration of Unification in the Analytic Framework. 110-126 BibTeX
Piero A. Bonatti: Sequent Calculi for Default and Autoepistemic Logics. 127-142 BibTeX
François Bry, Adnan H. Yahya: Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux. 143-159 BibTeX
Jeremy V. Pitt, Jim Cunningham: Distributed Modal Theorem Proving with KE. 160-176 BibTeX
Stéphane Demri: A Simple Tableau System for the Logic of Elsewhere. 177-192 BibTeX
Bertram Fronhöfer: Situational Calculus, Linear Connection Proofs and STRIPS-like Planning: An Experimental Comparison. 193-209 BibTeX
Alain Heuerding, Michael Seyfried, Heinrich Zimmermann: Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics. 210-225 BibTeX
Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco: Strong Normalization for All-Style LK. 226-243 BibTeX
Jens Otten, Christoph Kreitz: T-String Unification: Unifying Prefixes in Non-classical Proof Methods. 244-260 BibTeX
Michael Mendler: A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits. 261-277 BibTeX
Ilkka Niemelä: A Tableau Calculus for Minimal Model Reasoning. 278-294 BibTeX
Eike Ritter, David J. Pym, Lincoln A. Wallen: On the Intuitionistic Force of Classical Search (Extended Abstract). 295-311 BibTeX
Andrei Voronkov: Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction. 312-329 BibTeX