论文信息 - Proceedings of the Automated Reasoning Workshop 2008 - 字舞流文

Proceedings of the Automated Reasoning Workshop 2008

Abdur Rakib | Michael Fisher | Alexander Bolotov | Nguyen Hoang Nga | Vladimir Getov | Brian Logan | Natasha Alechina | Andrew Ireland | Lawrence C. Paulson | Sean B. Holden | Alessandro Basso | Clare Dixon | Abdelkader Behdenna | N. H. Nga | James P. Bridge | Lawrence Charles Paulson | Louise Dennis | V. Sorge | B. Logan | Michael Fisher | S. Holden | Louise Dennis | V. Sorge | Andrew Ireland | N. Alechina | V. Getov | C. Dixon | A. Rakib | A. Basso | Abdelkader Behdenna | A. Bolotov

[1] Franco Montagna,et al. Substructural fuzzy logics , 2007, Journal of Symbolic Logic.

[2] Kentaro Kikuchi,et al. Tree-Sequent Methods for Subintuitionistic Predicate Logics , 2007, TABLEAUX.

[3] Sara Negri. Logic Colloquium 2005: Proof analysis in non-classical logics , 2007 .

[4] Greg Restall,et al. Proofnets for S5: sequents and circuits for modal logic , 2007 .

[5] Sara Negri,et al. Proof Analysis in Modal Logic , 2005, J. Philos. Log..

[6] D. Gabbay,et al. Hypersequents and fuzzy logic. , 2004 .

[7] Dov M. Gabbay,et al. Chapter 13 – Labelled Deductive Systems , 2003 .

[8] Agata Ciabattoni,et al. Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models , 2001, J. Log. Comput..

[9] Arild Waaler,et al. Connections in Nonclassical Logics , 2001, Handbook of Automated Reasoning.

[10] Harald Ganzinger,et al. Resolution Theorem Proving , 2001, Handbook of Automated Reasoning.

[11] Mauro Ferrari,et al. Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics , 2000, TABLEAUX.

[12] Heinrich Wansing,et al. Translation of Hypersequents into Display Sequents , 1998, Log. J. IGPL.

[13] Dov M. Gabbay,et al. Labelled Deductive Systems: Volume 1 , 1996 .

[14] A. Avron. The method of hypersequents in the proof theory of propositional non-classical logics , 1996 .

[15] Arnon Avron,et al. A constructive analysis of RM , 1987, Journal of Symbolic Logic.

[16] R. L. Goodstein,et al. Provability in logic , 1959 .