caa a22 4500 463182766 CHVBK 20180406164844.0 cr unu---uuuuu 170326e20070401xx s 000 0 eng 10.1007/s10817-006-9047-9 doi (NATIONALLICENCE)springer-10.1007/s10817-006-9047-9 Larchey-Wendling Dominique LORIA - CNRS, Campus Scientifique, BP 239 54 506, Vandœuvre-lès-Nancy, France aut Graph-based Decision for Gödel-Dummett Logics [Elektronische Daten] [Dominique Larchey-Wendling] We present a graph-based decision procedure for Gödel-Dummett logics and an algorithm to compute countermodels. A formula is transformed into a conditional bicolored graph in which we detect some specific cycles and alternating chains using matrix computations. From an instance graph containing no such cycle, (resp. no (n + 1)-alternating chain) we extract a countermodel in LC, (resp. LC n ). Springer Science+Business Media, Inc., 2006 Gödel-Dummett logic nationallicence sequent calculus nationallicence decision procedures nationallicence graphs nationallicence countermodels nationallicence Journal of Automated Reasoning Kluwer Academic Publishers 38/1-3(2007-04-01), 201-225 0168-7433 38:1-3<201 2007 38 10817 https://doi.org/10.1007/s10817-006-9047-9 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10817-006-9047-9 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Larchey-Wendling Dominique LORIA - CNRS, Campus Scientifique, BP 239 54 506, Vandœuvre-lès-Nancy, France aut NATIONALLICENCE 773 0- Journal of Automated Reasoning Kluwer Academic Publishers 38/1-3(2007-04-01), 201-225 0168-7433 38:1-3<201 2007 38 10817 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer