Switch to: References

Add citations

You must login to add citations.
  1. On the Strict–Tolerant Conception of Truth.Stefan Wintein - 2014 - Australasian Journal of Philosophy 92 (1):1-20.
    We discuss four distinct semantic consequence relations which are based on Strong Kleene theories of truth and which generalize the notion of classical consequence to 3-valued logics. Then we set up a uniform signed tableau calculus, which we show to be sound and complete with respect to each of the four semantic consequence relations. The signs employed by our calculus are,, and, which indicate a strict assertion, strict denial, tolerant assertion and tolerant denial respectively. Recently, Ripley applied the strict–tolerant account (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • From Closure Games to Strong Kleene Truth.Stefan Wintein - 2016 - Notre Dame Journal of Formal Logic 57 (2):153-179.
    In this paper, we study the method of closure games, a game-theoretic valuation method for languages of self-referential truth developed by the author. We prove two theorems which jointly establish that the method of closure games characterizes all 3- and 4-valued strong Kleene fixed points in a novel, informative manner. Among others, we also present closure games which induce the minimal and maximal intrinsic fixed point of the strong Kleene schema.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Against Crude Semantic Realism.Florian Demont - 2009 - ILLC Technical Notes (X) Series.
  • A calculus for Belnap's logic in which each proof consists of two trees.Stefan Wintein & Reinhard Muskens - 2012 - Logique Et Analyse 220:643-656.
    In this paper we introduce a Gentzen calculus for (a functionally complete variant of) Belnap's logic in which establishing the provability of a sequent in general requires \emph{two} proof trees, one establishing that whenever all premises are true some conclusion is true and one that guarantees the falsity of at least one premise if all conclusions are false. The calculus can also be put to use in proving that one statement \emph{necessarily approximates} another, where necessary approximation is a natural dual (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations