Graph-based Decision for Gödel-Dummett Logics
暂无分享,去创建一个
[1] Roy Dyckhoff,et al. Contraction-free sequent calculi for intuitionistic logic , 1992, Journal of Symbolic Logic.
[2] Christian G. Fermüller,et al. Hypersequent Calculi for Gödel Logics - a Survey , 2003, J. Log. Comput..
[3] Stephen Warshall,et al. A Theorem on Boolean Matrices , 1962, JACM.
[4] Dominique Larchey-Wendling,et al. Bounding Resource Consumption with Gödel-Dummett Logics , 2005, LPAR.
[5] Christian G. Fermüller,et al. Cut-elimination in a sequents-of-relations calculus for Godel logic , 2001, Proceedings 31st IEEE International Symposium on Multiple-Valued Logic.
[6] Mauro Ferrari,et al. Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi for the Interpolable Propositional Intermediate Logics , 1999, Log. J. IGPL.
[7] Michael Dummett,et al. A propositional calculus with denumerable matrix , 1959, Journal of Symbolic Logic (JSL).
[8] Arnon Avron,et al. Decomposition Proof Systems for Gödel-Dummett Logics , 2001, Stud Logica.
[9] Dov M. Gabbay,et al. Goal-Directed Calculli for Gödel-Dummett Logics , 2003, CSL.
[10] Christian G. Fermüller,et al. Uniform Rules and Dialogue Games for Fuzzy Logics , 2005, LPAR.
[11] Dominique Larchey-Wendling,et al. Counter-Model Search in Gödel-Dummett Logics , 2004, IJCAR.
[12] Arnon Avron,et al. A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus , 2000, TABLEAUX.
[13] Dominique Larchey-Wendling,et al. Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic , 2002, CADE.
[14] Roy Dyckhoff,et al. A Deterministic Terminating Sequent Calculus for Gödel-Dummett logic , 1999, Log. J. IGPL.
[15] Dominique Larchey-Wendling,et al. Gödel-Dummett Counter-models through Matrix Computation , 2005, D/PDPAR@IJCAR.
[16] Patrick Brézillon,et al. Lecture Notes in Artificial Intelligence , 1999 .
[17] Petr Hájek,et al. Metamathematics of Fuzzy Logic , 1998, Trends in Logic.