Switch to: References

Add citations

You must login to add citations.
  1. G'3 as the logic of modal 3-valued Heyting algebras.Marcelo E. Coniglio, Aldo Figallo-Orellano, Alejandro Hernández-Tello & Miguel Perez-Gaspar - 2022 - IfCoLog Journal of Logics and Their Applications 9 (1):175-197.
    In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of Gödel (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Reasons and doubt in Dharmottara and his critics.David Nowakowski - 2017 - Asian Philosophy 27 (4):340-368.
    This paper examines the role of doubt in the classification of inferential reasons in Dharmottara’s Nyāyabinduṭīkā, and in the works of his Nyāya rivals Keśavamiśra and Jayantabhaṭṭa. As deeply systematic thinkers, larger themes in these philosophers’ metaphysics directly determine the more local issues in epistemology and inferential theory, helping to explain, and show the significance of, the differences in their accounts of inferential reasons. For Keśava, an ontology which includes real universals allows for an externalist, reliabilist epistemology, on which the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation