Switch to: Citations

Add references

You must login to add references.
  1. Natural Deduction for Dual-intuitionistic Logic.Luca Tranchini - 2012 - Studia Logica 100 (3):631-648.
    We present a natural deduction system for dual-intuitionistic logic. Its distinctive feature is that it is a single-premise multiple-conclusions system. Its relationships with the natural deduction systems for intuitionistic and classical logic are discussed.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.Yaroslav Shramko - 2005 - Studia Logica 80 (2-3):347-367.
    We consider a logic which is semantically dual (in some precise sense of the term) to intuitionistic. This logic can be labeled as “falsification logic”: it embodies the Popperian methodology of scientific discovery. Whereas intuitionistic logic deals with constructive truth and non-constructive falsity, and Nelson's logic takes both truth and falsity as constructive notions, in the falsification logic truth is essentially non-constructive as opposed to falsity that is conceived constructively. We also briefly clarify the relationships of our falsification logic to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  • Applications of Kripke models to Heyting-Brouwer logic.Cecylia Rauszer - 1977 - Studia Logica 36 (1-2):61 - 71.
  • [Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
    Reviewed Works:Gaisi Takeuti, Proof Theory.Georg Kreisel, Proof Theory: Some Personal Recollections.Wolfram Pohlers, Contributions of the Schutte School in Munich to Proof Theory.Stephen G. Simpson, Subsystems of $\mathbf{Z}_2$ and Reverse Mathematics.Solomon Feferman, Proof Theory: A Personal Report.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   90 citations  
  • Meaning and proofs: On the conflict between classical and intuitionistic logic.Dag Prawitz - 1977 - Theoria 43 (1):2--40.
  • Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
  • Constructible Falsity.David Nelson - 1950 - Journal of Symbolic Logic 15 (3):228-228.
    Direct download  
     
    Export citation  
     
    Bookmark   57 citations  
  • A remark on Gentzen's calculus of sequents.Johannes Czermak - 1977 - Notre Dame Journal of Formal Logic 18 (3):471-474.
  • Dual-Intuitionistic Logic.Igor Urbas - 1996 - Notre Dame Journal of Formal Logic 37 (3):440-451.
    The sequent system LDJ is formulated using the same connectives as Gentzen's intuitionistic sequent system LJ, but is dual in the following sense: (i) whereas LJ is singular in the consequent, LDJ is singular in the antecedent; (ii) whereas LJ has the same sentential counter-theorems as classical LK but not the same theorems, LDJ has the same sentential theorems as LK but not the same counter-theorems. In particular, LDJ does not reject all contradictions and is accordingly paraconsistent. To obtain a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  • The Logic of Contradiction.Nicolas D. Goodman - 1981 - Mathematical Logic Quarterly 27 (8‐10):119-126.
  • The Logic of Contradiction.Nicolas D. Goodman - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (8-10):119-126.
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  • A pragmatic interpretation of intuitionistic propositional logic.Carlo Dalla Pozza & Claudio Garola - 1995 - Erkenntnis 43 (1):81-109.
    We construct an extension P of the standard language of classical propositional logic by adjoining to the alphabet of a new category of logical-pragmatic signs. The well formed formulas of are calledradical formulas (rfs) of P;rfs preceded by theassertion sign constituteelementary assertive formulas of P, which can be connected together by means of thepragmatic connectives N, K, A, C, E, so as to obtain the set of all theassertive formulas (afs). Everyrf of P is endowed with atruth value defined classically, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  • The techniques of disputation in the history of logic.Ignacio Angelelli - 1970 - Journal of Philosophy 67 (20):800-815.
  • Semi-Boolean algebras and their applications to intuitionistic logic with dual operations.Cecylia Rauszer - 1974 - Fundamenta Mathematicae 83:219-249.
  • Meaning and Proofs: On the Conflict between Classical and Intuitionistic Logic.Dag Prawitz - 1977 - Theroia 43:1--40..
     
    Export citation  
     
    Bookmark   44 citations