Switch to: References

Add citations

You must login to add citations.
  1. The Expressive Truth Conditions of Two-Valued Logic.Stephen Pollard - 2002 - Notre Dame Journal of Formal Logic 43 (4):221-230.
    In a finitary closure space, irreducible sets behave like two-valued models, with membership playing the role of satisfaction. If f is a function on such a space and the membership of in an irreducible set is determined by the presence or absence of the inputs in that set, then f is a kind of truth function. The existence of some of these truth functions is enough to guarantee that every irreducible set is maximally consistent. The closure space is then said (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation