Tools

LEADER 03583cam 22003738a 4500

005 20141212122314.0;

008 960410s1996 gw a b 001 0 eng ;

010 a| 96017235;

020 a| 3540612084 (pbk. : alk. paper);

035 a| (Sirsi) o34604201;

035 a| (OCoLC)34604201;

049 a| EREE;

050 00 a| QA76.9.A96b| T33 1996;

082 00 a| 511.32| 20;

111 2 a| TABLEAUX '96d| (1996 :c| Terrasini, Italy)=| ^A380790;

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

300 a| x, 329 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1071.a| Lecture notes in artificial intelligence;

504 a| Includes bibliographical references and index.;

505 0 a| On sets, types, fixed points, and checkerboards / Peter B. Andrews, Matthew Bishop -- Fibred tableaux for multi-implication logics / Marcello D'Agostino, Dov M. Gabbay -- Interpolation for a sequent calculus of generalized quantifiers / Natasha Alechina -- Almost duplication-free tableau calculi for propositional Lax logics / Alessandro Avellone, Mauro Ferrari -- Combining many-valued and intuitionistic tableaux / Matthias Baaz, Christian G. Fermüller -- Cyclic connections / Gérard Becher -- Incremental theory reasoning methods for semantic tableaux / Bernhard Beckert, 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 / François Bry, Adnan Yahya -- Distributed modal theorem proving with KE / Jeremy Pitt, Jim Cunningham -- A simple tableau system for the logic of elsewhere / Stéphane Demri -- Situational calculus, linear connection proofs and STRIPS-like planning : an experimental comparison / Bertram Fronhöfer -- Efficient loop-check for backward proof search in some non-classical propositional logics / Alain Heuerding, Michael Seyfried, Heinrich Zimmermann -- Strong normalization for all-style LK[superscript tq] / Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco -- T-string-unification : unifying prefixes in non-classical proof methods / Jens Otten, 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, Lincoln Wallen -- Proof-search in intuitionistic logic based on constraint satisfaction / Andrei Voronkov.;

650 0 a| Automatic theorem provingv| Congresses.=| ^A24746;

650 0 a| Nonclassical mathematical logicv| Congresses.=| ^A227735;

650 0 a| Logic, Symbolic and mathematicalv| Congresses.=| ^A39117;

700 1 a| Miglioli, P.=| ^A380682;

830 0 a| Lecture notes in computer sciencev| 1071.=| ^A466336;

830 0 a| Lecture notes in computer science.p| Lecture notes in artificial intelligence.=| ^A467263;

596 a| 1;

998 a| 601422;

999 a| QA76.9.A96 T33 1996w| LCc| 1i| 30372009487130d| 3/6/2013f| 3/6/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 10/2/1996x| BOOKz| JSTACKSo| .STAFF. 0;

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

Author/creator	TABLEAUX '96
Other author	Miglioli, P.
Format	Book
Publication Info	Berlin ; New York : Springer, ©1996.
Description	x, 329 pages : illustrations ; 24 cm.
Subjects	Automatic theorem proving--Congresses. Nonclassical mathematical logic--Congresses. Logic, Symbolic and mathematical--Congresses.

Series	Lecture notes in computer science ; 1071. Lecture notes in artificial intelligence Lecture notes in computer science 1071. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Contents	On sets, types, fixed points, and checkerboards / Peter B. Andrews, Matthew Bishop -- Fibred tableaux for multi-implication logics / Marcello D'Agostino, Dov M. Gabbay -- Interpolation for a sequent calculus of generalized quantifiers / Natasha Alechina -- Almost duplication-free tableau calculi for propositional Lax logics / Alessandro Avellone, Mauro Ferrari -- Combining many-valued and intuitionistic tableaux / Matthias Baaz, Christian G. Fermüller -- Cyclic connections / Gérard Becher -- Incremental theory reasoning methods for semantic tableaux / Bernhard Beckert, 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 / François Bry, Adnan Yahya -- Distributed modal theorem proving with KE / Jeremy Pitt, Jim Cunningham -- A simple tableau system for the logic of elsewhere / Stéphane Demri -- Situational calculus, linear connection proofs and STRIPS-like planning : an experimental comparison / Bertram Fronhöfer -- Efficient loop-check for backward proof search in some non-classical propositional logics / Alain Heuerding, Michael Seyfried, Heinrich Zimmermann -- Strong normalization for all-style LK[superscript tq] / Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco -- T-string-unification : unifying prefixes in non-classical proof methods / Jens Otten, 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, Lincoln Wallen -- Proof-search in intuitionistic logic based on constraint satisfaction / Andrei Voronkov.
Bibliography note	Includes bibliographical references and index.
LCCN	96017235
ISBN	3540612084 (pbk. : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.A96 T33 1996	✔ Available	Place Hold

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

Click here for more information about this title

Availability