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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Temporal Semantics for Basic Logic.Stefano Aguzzoli, Matteo Bianchi & Vincenzo Marra - 2009 - Studia Logica 92 (2):147-162.
    In the context of truth-functional propositional many-valued logics, Hájek’s Basic Fuzzy Logic BL [14] plays a major rôle. The completeness theorem proved in [7] shows that BL is the logic of all continuous t -norms and their residua. This result, however, does not directly yield any meaningful interpretation of the truth values in BL per se . In an attempt to address this issue, in this paper we introduce a complete temporal semantics for BL. Specifically, we show that BL formulas (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation