Uniform Rules and Dialogue Games for Fuzzy Logics

  title={Uniform Rules and Dialogue Games for Fuzzy Logics},
  author={Agata Ciabattoni and Christian G. Ferm{\"u}ller and George Metcalfe},
We provide uniform and invertible logical rules in a framework of relational hypersequents for the three fundamental t-norm based fuzzy logics i.e., Łukasiewicz logic, Gödel logic, and Product logic. Relational hypersequents generalize both hypersequents and sequents-of-relations. Such a framework can be interpreted via a particular class of dialogue games combined with bets, where the rules reflect possible moves in the game. The problem of determining the validity of atomic relational… CONTINUE READING

From This Paper

Topics from this paper.
30 Citations
17 References
Similar Papers


Publications referenced by this paper.

Similar Papers

Loading similar papers…