A Dialogue Game for Intuitionistic Fuzzy Logic Based on Comparisons of Degrees of Truth
Christian G. Fermüller, Norbert Preining · 2003
A dialogue game for fuzzy logic, based on the comparison of truth degrees, is presented. It is shown that the game is adequate for G 4, i.e., intu- itionistic fuzzy logic enriched by the projection operator 4. Any given counter- model to a formula can be used to construct a winning strategies for one of the players, called Opponent. Conversely, counter-models can be extracted from each winning strategy for Opponent. Winning strategies for the other player, Proponent, correspond to proofs of validity. The systematic construction of so-called complete dialogue trees can be viewed as tableau style proof search procedure.