Switch to: References

Add citations

You must login to add citations.
  1. Abductive Reasoning: Logical Investigations Into Discovery and Explanation.Atocha Aliseda - 2005 - Dordrecht and London: Springer.
    Abductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the study of abductive reasoning, providing logical foundations and a rich sample of pertinent applications. Divided into three parts on the conceptual framework, the logical foundations, and the applications, this monograph takes the reader for a comprehensive and erudite tour through the taxonomy of abductive reasoning, via the logical workings of abductive inference ending with applications pertinent to scientific explanation, empirical progress, pragmatism and belief revision.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Paraconsistency in Classical Logic.Gabriele Pulcini & Achille C. Varzi - 2018 - Synthese 195 (12):5485-5496.
    Classical propositional logic can be characterized, indirectly, by means of a complementary formal system whose theorems are exactly those formulas that are not classical tautologies, i.e., contradictions and truth-functional contingencies. Since a formula is contingent if and only if its negation is also contingent, the system in question is paraconsistent. Hence classical propositional logic itself admits of a paraconsistent characterization, albeit “in the negative”. More generally, any decidable logic with a syntactically incomplete proof theory allows for a paraconsistent characterization of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Natural Deduction System for First Degree Entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
    This paper is concerned with a natural deduction system for First Degree Entailment (FDE). First, we exhibit a brief history of FDE and of combined systems whose underlying idea is used in developing the natural deduction system. Then, after presenting the language and a semantics of FDE, we develop a natural deduction system for FDE. We then prove soundness and completeness of the system with respect to the semantics. The system neatly represents the four-valued semantics for FDE.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Hybrid Deduction–Refutation Systems.Valentin Goranko - 2019 - Axioms 8 (4).
    Hybrid deduction–refutation systems are deductive systems intended to derive both valid and non-valid, i.e., semantically refutable, formulae of a given logical system, by employing together separate derivability operators for each of these and combining ‘hybrid derivation rules’ that involve both deduction and refutation. The goal of this paper is to develop a basic theory and ‘meta-proof’ theory of hybrid deduction–refutation systems. I then illustrate the concept on a hybrid derivation system of natural deduction for classical propositional logic, for which I (...)
    Download  
     
    Export citation  
     
    Bookmark