Switch to: References

Add citations

You must login to add citations.
  1. From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth.Marcelo E. Coniglio & Abilio Rodrigues - 2024 - Studia Logica 112 (3):561-606.
    The main aim of this paper is to introduce the logics of evidence and truth $$LET_{K}^+$$ and $$LET_{F}^+$$ together with sound, complete, and decidable six-valued deterministic semantics for them. These logics extend the logics $$LET_{K}$$ and $$LET_{F}^-$$ with rules of propagation of classicality, which are inferences that express how the classicality operator $${\circ }$$ is transmitted from less complex to more complex sentences, and vice-versa. The six-valued semantics here proposed extends the 4 values of Belnap-Dunn logic with 2 more values (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Semantical analysis of Arruda da costap systems and adjacent non-replacement relevant systems.Richard Routley & Andréa Loparić - 1978 - Studia Logica 37 (4):301 - 320.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Richard (Routley) Sylvan: Writings on Logic and Metaphysics.Dominic Hyde - 2001 - History and Philosophy of Logic 22 (4):181-205.
    Richard Sylvan (né Routley) was one of Australasia's most prolific and systematic philosophers. Though known for his innovative work in logic and metaphysics, the astonishing breadth of his philosophical endeavours included almost all reaches of philosophy. Taking the view that very basic assumptions of mainstream philosophy were fundamentally mistaken, he sought radical change across a wide range of theories. However, his view of the centrality of logic and recognition of the possibilities opened up by logical innovation in the fundamental areas (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations