Switch to: References

Add citations

You must login to add citations.
  1. On All Strong Kleene Generalizations of Classical Logic.Stefan Wintein - 2016 - Studia Logica 104 (3):503-545.
    By using the notions of exact truth and exact falsity, one can give 16 distinct definitions of classical consequence. This paper studies the class of relations that results from these definitions in settings that are paracomplete, paraconsistent or both and that are governed by the Strong Kleene schema. Besides familiar logics such as Strong Kleene logic, the Logic of Paradox and First Degree Entailment, the resulting class of all Strong Kleene generalizations of classical logic also contains a host of unfamiliar (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Compactness theorems for finitely-many-valued sentenial logics.George Weaver - 1978 - Studia Logica 37 (4):413 - 416.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Expressive Unary Truth Functions of n -valued Logic.Stephen Pollard - 2005 - Notre Dame Journal of Formal Logic 46 (1):93-105.
    The expressive truth functions of two-valued logic have all been identified. This paper begins the task of identifying the expressive truth functions of n-valued logic by characterizing the unary ones. These functions have distinctive algebraic, semantic, and closure-theoretic properties.
    Download  
     
    Export citation  
     
    Bookmark   1 citation