Switch to: References

Add citations

You must login to add citations.
  1. The Value of the One Value: Exactly True Logic revisited.Andreas Kapsner & Umberto Rivieccio - 2023 - Journal of Philosophical Logic 52 (5):1417-1444.
    In this paper we re-assess the philosophical foundation of Exactly True Logic ($$\mathcal {ET\!L}$$ ET L ), a competing variant of First Degree Entailment ($$\mathcal {FDE}$$ FDE ). In order to do this, we first rebut an argument against it. As the argument appears in an interview with Nuel Belnap himself, one of the fathers of $$\mathcal {FDE}$$ FDE, we believe its provenance to be such that it needs to be taken seriously. We submit, however, that the argument ultimately fails, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Simple Tableaus for Simple Logics.Melvin Fitting - 2024 - Notre Dame Journal of Formal Logic 65 (3):275-309.
    Consider those many-valued logic models in which the truth values are a lattice that supplies interpretations for the logical connectives of conjunction and disjunction, and which has a De Morgan involution supplying an interpretation for negation. Assume that the set of designated truth values is a prime filter in the lattice. Each of these structures determines a simple many-valued logic. We show that there is a single Smullyan-style signed tableau system appropriate for all of the logics these structures determine. Differences (...)
    Download  
     
    Export citation  
     
    Bookmark