10 found
Order:
Disambiguations
Christian G. Fermüller [6]Christian Fermuller [5]
  1.  31
    Labeled Calculi and Finite-Valued Logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach - 1998 - Studia Logica 61 (1):7-33.
    A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  2.  29
    Giles's Game and the Proof Theory of Łukasiewicz Logic.Christian G. Fermüller & George Metcalfe - 2009 - Studia Logica 92 (1):27 - 61.
    In the 1970s, Robin Giles introduced a game combining Lorenzen-style dialogue rules with a simple scheme for betting on the truth of atomic statements, and showed that the existence of winning strategies for the game corresponds to the validity of formulas in Łukasiewicz logic. In this paper, it is shown that ‘disjunctive strategies’ for Giles’s game, combining ordinary strategies for all instances of the game played on the same formula, may be interpreted as derivations in a corresponding proof system. In (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  3.  3
    Giles’s Game and the Proof Theory of Łukasiewicz Logic.Christian G. Fermüller & George Metcalfe - 2009 - Studia Logica 92 (1):27-61.
    In the 1970s, Robin Giles introduced a game combining Lorenzen-style dialogue rules with a simple scheme for betting on the truth of atomic statements, and showed that the existence of winning strategies for the game corresponds to the validity of formulas in Łukasiewicz logic. In this paper, it is shown that ' disjunctive strategies' for Giles's game, combining ordinary strategies for all instances of the game played on the same formula, may be interpreted as derivations in a corresponding proof system. (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  32
    Review: Vagueness and Degrees of Truth. [REVIEW]Christian Fermüller - 2010 - Australasian Journal of Logic 9 (7):1-9.
    Vagueness is one of the most persistent and challenging topics in the intersection of philosophy and logic. At least five other noteworthy books on vagueness have been written by philosophers since 1991 [2, 6, 11, 12, 15]. A (necessarily incomplete) bibliography that has been compiled for the Arché project Vagueness: its Nature and Logic (2004-2006) of the University of St Andrews lists more than 350 articles and books on vagueness until 2005.1 Many new and interesting contributions have appeared since. The (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  5.  7
    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  
     
    My bibliography  
  6.  1
    Revisiting Giles's Game.Christian G. Fermüller - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 209--227.
  7. Handbook of Mathematical Fuzzy Logic - Volume 3.Petr Cintula, Christian Fermüller & Carles Noguera (eds.) - 2015 - College Publications.
     
    Export citation  
     
    My bibliography  
  8. Reasoning Under Vagueness.Petr Cintula, Christian Fermuller, Lluis Godo & Petr Hajek (eds.) - forthcoming - College Publications.
    Translate
     
     
    Export citation  
     
    My bibliography  
  9. Understanding Vagueness: Logical, Philosophical and Linguistic Perspectives.Petr Cintula, Christian G. Fermüller, Lluis Godo & Petr Hájek (eds.) - 2011 - College Publications.
     
    Export citation  
     
    My bibliography  
  10. Vagueness and Degrees of Truth by Nicholas J. J. Smith. [REVIEW]Christian Fermüller - 2010 - Australasian Journal of Logic 9:1-9.
     
    Export citation  
     
    My bibliography