Switch to: Citations

References in:

Reasoning about truth

Artificial Intelligence 39 (2):231-244 (1989)

Add references

You must login to add references.
  1. The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
    Download  
     
    Export citation  
     
    Bookmark   459 citations  
  • A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
    Download  
     
    Export citation  
     
    Bookmark   138 citations  
  • Accepting inconsistencies from the paradoxes.Bradley H. Dowden - 1984 - Journal of Philosophical Logic 13 (2):125-30.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Paradoxes and Semantic Representation.Richmond H. Thomason - 1988 - Journal of Symbolic Logic 53 (2):667-667.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (8 other versions)The Knower's Paradox and Representational Theories of Attitudes.William J. Rapaport, Nicholas M. Asher & Johan A. W. Kamp - 1988 - Journal of Symbolic Logic 53 (2):666.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Sense, entailment and modus ponens.Graham Priest - 1980 - Journal of Philosophical Logic 9 (4):415 - 435.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Semantic closure.Graham Priest - 1984 - Studia Logica 43 (1-2):117 - 129.
    This paper argues for tlie claims that a) a natural language such as English is semanticaly closed b) semantic closure implies inconsistency. A corollary of these is that the semantics of English must be paraconsistent. The first part of the paper formulates a definition of semantic closure which applies to natural languages and shows that this implies inconsistency. The second section argues that English is semeantically closed. The preceding discussion is predicated on the assumption that there are no truth value (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Introduction to Paraconsistent Logic.Graham Priest & Richard Routley - 1984 - Studia Logica 43 (1-2):3-16.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Introduction: Paraconsistent logics.Graham Priest & Richard Routley - 1984 - Studia Logica 43 (1-2):3 - 16.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Languages with self-reference II.Donald Perlis - 1988 - Artificial Intelligence 34 (2):179-212.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Languages with self-reference I: Foundations.Donald Perlis - 1985 - Artificial Intelligence 25 (3):301-322.
    Download  
     
    Export citation  
     
    Bookmark   48 citations