Switch to: References

Add citations

You must login to add citations.
  1. From Games to Truth Functions: A Generalization of Giles’s Game.Christian G. Fermüller & Christoph Roschger - 2014 - Studia Logica 102 (2):389-410.
    Motivated by aspects of reasoning in theories of physics, Robin Giles defined a characterization of infinite valued Łukasiewicz logic in terms of a game that combines Lorenzen-style dialogue rules for logical connectives with a scheme for betting on results of dispersive experiments for evaluating atomic propositions. We analyze this game and provide conditions on payoff functions that allow us to extract many-valued truth functions from dialogue rules of a quite general form. Besides finite and infinite valued Łukasiewicz logics, also Meyer (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Fuzzy logic.Petr Hajek - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • From Semantic Games to Provability: The Case of Gödel Logic.Alexandra Pavlova, Robert Freiman & Timo Lang - 2021 - Studia Logica 110 (2):429-456.
    We present a semantic game for Gödel logic and its extensions, where the players’ interaction stepwise reduces arbitrary claims about the relative order of truth degrees of complex formulas to atomic ones. The paper builds on a previously developed game for Gödel logic with projection operator in Fermüller et al., Information processing and management of uncertainty in knowledge-based systems, Springer, Cham, 2020, pp. 257–270). This game is extended to cover Gödel logic with involutive negations and constants, and then lifted to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Game-theoretic semantics for non-distributive logics.Chrysafis Hartonas - 2019 - Logic Journal of the IGPL 27 (5):718-742.
    We introduce game-theoretic semantics for systems without the conveniences of either a De Morgan negation, or of distribution of conjunction over disjunction and conversely. Much of game playing rests on challenges issued by one player to the other to satisfy, or refute, a sentence, while forcing him/her to move to some other place in the game’s chessboard-like configuration. Correctness of the game-theoretic semantics is proven for both a training game, corresponding to Positive Lattice Logic and for more advanced games for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic.Christian Fermüller, Timo Lang & Alexandra Pavlova - 2022 - Logica Universalis 16 (1):221-235.
    We introduce a game for Gödel logic where the players’ interaction stepwise reduces claims about the relative order of truth degrees of complex formulas to atomic truth comparison claims. Using the concept of disjunctive game states this semantic game is lifted to a provability game, where winning strategies correspond to proofs in a sequents-of-relations calculus.
    Download  
     
    Export citation  
     
    Bookmark  
  • Randomized game semantics for semi-fuzzy quantifiers.C. G. Fermuller & C. Roschger - 2014 - Logic Journal of the IGPL 22 (3):413-439.
    Download  
     
    Export citation  
     
    Bookmark   1 citation