Research Catalog

Title

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, 15-17th, 1996 : proceedings / P. Miglioli [and others], eds.

Author

TABLEAUX '96 (1996 : Terrasini, Italy)

Publication

Berlin ; New York : Springer, [1996], ©1996.

Items in the Library & Off-site

Details

Additional Authors

Miglioli, P.

Description

x, 329 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 1071. Lecture notes in artificial intelligence

Uniform Title

• Lecture notes in computer science ; 1071.
• Lecture notes in computer science. Lecture notes in artificial intelligence.

Subject

• Automatic theorem proving > Congresses
• Nonclassical mathematical logic > Congresses
• Logic, Symbolic and mathematical > Congresses

Bibliography (note)

• Includes bibliographical references and index.

Contents

• On sets, types, fixed points, and checkerboards / Peter B. Andrews and Matthew Bishop -- Fibred tableaux for multi-implication logics / Marcello D'Agostino and Dov M. Gabbay -- Interpolation for a sequent calculus of generalized quantifiers / Natasha Alechina -- Almost duplication-free tableau calculi for propositional Lax logics / Alessandro Avellone and Mauro Ferrari -- Combining many-valued and intuitionistic tableaux / Matthias Baaz and Christian G. Fermuller -- Cyclic connections / Gerard Becher -- Incremental theory reasoning methods for semantic tableaux / Bernhard Beckert and Christian Pape -- The disconnection method: a confluent integration of unification in the analytic framework / Jean-Paul Billon -- Sequent calculi for default and autoepistemic logics / Piero A. Bonatti -- Minimal model generation with positive unit hyper-resolution tableaux / Francois Bry and Adnan Yahya -- Distributed modal theorem proving with KE / Jeremy Pitt and Jim Cunningham --
• A simple tableau system for the logic of elsewhere / Stephane Demri -- Situational calculus, linear connection proofs and STRIPS-like planning: an experimental comparison / Bertram Fronhofer -- Efficient loop-check for backward proof search in some non-classical propositional logics / Alain Heuerding, Michael Seyfried and Heinrich Zimmermann -- Strong normalization for all-style LK[superscript tq] / Jean-Baptiste Joinet, Harold Schellinx and Lorenzo Tortora de Falco -- T-string-unification: unifying prefixes in non-classical proof methods / Jens Otten and Christoph Kreitz -- A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits / Michael Mendler -- A tableau calculus for minimal model reasoning / Ilkka Niemela -- On the intuitionistic force of classical search / Eike Ritter, David Pym and Lincoln Wallen -- Proof-search in intuitionistic logic based on constraint satisfaction / Andrei Voronkov.

ISBN

3540612084 (pbk. : alk. paper)

LCCN

96017235

OCLC

ocm34604201

Owning Institutions

Columbia University Libraries