- Dualising Intuitionictic Negation.Graham Priest - 2009 - Principia: An International Journal of Epistemology 13 (2):165-184.details
|
|
Truth Values and Proof Theory.Greg Restall - 2009 - Studia Logica 92 (2):241-264.details
|
|
Meaning Approached Via Proofs.Dag Prawitz - 2006 - Synthese 148 (3):507-524.details
|
|
(1 other version)The Logic of Contradiction.Nicolas D. Goodman - 1981 - Mathematical Logic Quarterly 27 (8-10):119-126.details
|
|
(1 other version)From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s.Paolo Mancosu (ed.) - 1997 - Oxford, England: Oxford University Press USA.details
|
|
(1 other version)Pragmatic and dialogic interpretations of bi-intuitionism. Part I.Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi & Alessandro Menti - 2014 - Logic and Logical Philosophy.details
|
|
Co-constructive logic for proofs and refutations.James Trafford - 2014 - Studia Humana 3 (4):22-40.details
|
|
Errata Corrige to “Pragmatic and dialogic interpretation of bi-intuitionism. Part I”.Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi & Alessandro Menti - 2016 - Logic and Logical Philosophy 25 (2).details
|
|
Duality and Inferential Semantics.James Trafford - 2015 - Axiomathes 25 (4):495-513.details
|
|
On pure refutation formulations of sentential logics.Tomasz Skura - 1990 - Bulletin of the Section of Logic 19 (3):102-107.details
|
|
Complement-Topoi and Dual Intuitionistic Logic.Luis Estrada-González - 2010 - Australasian Journal of Logic 9:26-44.details
|
|
On Refutation Rules.Tomasz Skura - 2011 - Logica Universalis 5 (2):249-254.details
|
|
(1 other version)The Logic of Contradiction.Nicolas D. Goodman - 1981 - Mathematical Logic Quarterly 27 (8‐10):119-126.details
|
|
Empirical Negation.Michael De - 2013 - Acta Analytica 28 (1):49-69.details
|
|
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic.Linda Postniece - unknowndetails
|
|
Reply to Dag Prawitz.Michael Dummett - 1987 - In Barry Taylor (ed.), Michael Dummett: contributions to philosophy. Hingham, MA, USA: Kluwer Academic Publishers. pp. 281--316.details
|
|
Conceptions of truth in intuitionism.Panu Raatikainen - 2004 - History and Philosophy of Logic 25 (2):131--45.details
|
|
(1 other version)Temporal and atemporal truth in intuitionistic mathematics.Enrico Martino & Gabriele Usberti - 1994 - Topoi 13 (2):83-92.details
|
|
From absolute to local mathematics.J. L. Bell - 1986 - Synthese 69 (3):409 - 426.details
|
|
Applications of Kripke models to Heyting-Brouwer logic.Cecylia Rauszer - 1977 - Studia Logica 36 (1-2):61 - 71.details
|
|
(1 other version)Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.details
|
|
Structure in mathematics and logic: A categorical perspective.S. Awodey - 1996 - Philosophia Mathematica 4 (3):209-237.details
|
|
(1 other version)From Brouwer to Hilbert: the debate on the foundations of mathematics in the 1920s.Paolo Mancosu (ed.) - 1998 - New York: Oxford University Press.details
|
|
Why Conclusions Should Remain Single.Florian Steinberger - 2011 - Journal of Philosophical Logic 40 (3):333-355.details
|
|
A short note on intuitionistic propositional logic with multiple conclusions.Valéria de Paiva & Luiz Pereira - 2005 - Manuscrito 28 (2):317-329.details
|
|
Theory of rejected propositions. I.Jerzy Słupecki, Grzegorz Bryll & Urszula Wybraniec-Skardowska - 1971 - Studia Logica 29 (1):75 - 123.details
|
|
The theory of rejected propositions. II.Jerzy Słupecki, Grzegorz Bryll & Urszula Wybraniec-Skardowska - 1972 - Studia Logica 30 (1):97 - 145.details
|
|
Dual-Intuitionistic Logic.Igor Urbas - 1996 - Notre Dame Journal of Formal Logic 37 (3):440-451.details
|
|
Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.Yaroslav Shramko - 2005 - Studia Logica 80 (2-3):347-367.details
|
|
Introduction to Higher Order Categorical Logic.Joachim Lambek & Philip J. Scott - 1986 - Cambridge University Press.details
|
|
[Omnibus Review].Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.details
|
|
The trilaticce of constructive truth values.Yaroslav Shramko, J. Michael Dunn & Tatsutoshi Takenaka - 2001 - Journal of Logic and Computation 11 (1):761--788.details
|
|
The ambiguous Relationship between Pragma-Dialectics and Logic.Ralph H. Johnson - 2006 - In F. H. van Eemeren, Peter Houtlosser, Haft-van Rees & A. M. (eds.), Considering pragma-dialectics: a festschrift for Frans H. van Eemeren on the occasion of his 60th birthday. Mahwah, N.J.: L. Erlbaum Associates. pp. 127.details
|
|
Ryszard Wójcicki. Theory of logical calculi. Basis theory of consequence operations. Synthese library, vol. 199. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1988, xviii + 473 pp. [REVIEW]Stephen L. Bloom - 1990 - Journal of Symbolic Logic 55 (3):1324-1326.details
|
|