Switch to: References

Citations of:

Natural deduction

Belmont, Calif.,: Wadsworth Pub. Co.. Edited by Henry W. Johnstone (1962)

Add citations

You must login to add citations.
  1. Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.
    This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)Three paradoxes of medical diagnosis.G. William Moore & Grover M. Hutchins - 1981 - Metamedicine 2 (2):197-215.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)Three paradoxes of medical diagnosis.G. William Moore & Grover M. Hutchins - 1987 - Theoretical Medicine and Bioethics 2 (2):197-215.
    Sadegh-zadeh [23] has proposed a theory of the relativity of medical diagnosis in terms of the time at which a diagnosis is accepted, the patient to whom the diagnosis applies, the physician who renders the diagnosis, the medical knowledge used, the diagnostic method applied, and the set of patient observations. Use of classical formal logic as the diagnostic method may result in three paradoxes: the paradoxes of consistency, completeness, and justifiable ignorance. These paradoxes may be resolved by the addition of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations