Switch to: Citations

Add references

You must login to add references.
  1. Non-commutative logic I: the multiplicative fragment.V. Michele Abrusci & Paul Ruet - 1999 - Annals of Pure and Applied Logic 101 (1):29-64.
    We introduce proof nets and sequent calculus for the multiplicative fragment of non-commutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order variety.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Deductive Reasoning.Philip Johnson-Laird - 1999 - Annual Review of Psychology 50 (1):109-135.
    This chapter describes the main accounts of deductive competence, which explain what is computed in carrying out deductions. It argues that people have a modicum of competence, which is useful in daily life and a prerequisite for acquiring logical expertise. It outlines the three main sorts of theory of deductive performance, which explain how people make deductions: They rely on factual knowledge, formal rules, or mental models. It reviews recent experimental studies of deductive reasoning in order to help readers to (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Differential involvement of left prefrontal cortexin inductive and deductive reasoning.V. Goel - 2004 - Cognition 93 (3):B109-B121.
    While inductive and deductive reasoning are considered distinct logical and psychological processes, little is known about their respective neural basis. To address this issue we scanned 16 subjects with fMRI, using an event-related design, while they engaged in inductive and deductive reasoning tasks. Both types of reasoning were characterized by activation of left lateral prefrontal and bilateral dorsal frontal, parietal, and occipital cortices. Neural responses unique to each type of reasoning determined from the Reasoning Type by Task interaction indicated greater (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Conclusion.[author unknown] - 1926 - Archives de Philosophie 4 (3):112.
    Download  
     
    Export citation  
     
    Bookmark   199 citations