Co-constructive Logics for Proofs and Refutations

1. Bellin, G., Carrara, M., Chiffi, D., and Menti, A. Pragmatic and dialogic interpretations of bi-intuitionism. Logic and Logical Philosophy, 2014.10.12775/LLP.2015.005Search in Google Scholar

2. Brouwer, L. L.E.J. Brouwer: collected works. Amsterdam: North-Holland Publishing Company, 1975.Search in Google Scholar

3. Cook, R. T. and Cogburn, J. What negation is not: Intuitionism and ‘0=1’, Analysis, 60(265):5-12, 2000.10.1093/analys/60.1.5Search in Google Scholar

4. Crolard, T. Subtractive logic, Theoretical Computer Science, 254(1):151-185, 2001.10.1016/S0304-3975(99)00124-3Search in Google Scholar

5. Dubucs, J. Feasibility in logic, Synthese, 132(3):213-237, 2002.10.1023/A:1020332703930Search in Google Scholar

6. Dubucs, J. and Marion, M. Radical anti-realism and substructural logicsm, [in:] Rojszczak, A., Cachro, J., and Kurczewski, G. (editors), Philosophical Dimensions of Logic and Science, pages 235-249. Kluwer Academic Publishers, 2003.10.1007/978-94-017-2612-2_17Search in Google Scholar

7. Dummett, M. Reply to Dag Prawitz, [in:] Taylor, B. (editor), Michael Dummett: Contributions to Philosophy, pages 281-316. Distributors for the United States and Canada: Kluwer Academic Publishers, 1987.Search in Google Scholar

8. Dummett, M. A. E. The seas of language. Oxford: Oxford University Press, 1993.Search in Google Scholar

9. Dummett, M. A. E. Elements of intuitionism. Oxford: Oxford University Press, 2000.Search in Google Scholar

10. Dunn, J. M. and Hardegree, G. Algebraic methods in philosophical logic. Oxford: Oxford University Press, 2001.Search in Google Scholar

11. Goodman, N. The logic of contradictions, Zeitschrift fur Mathematische Logic und Grundlagen der Arithmetik, 27:119-126, 1981.10.1002/malq.19810270803Search in Google Scholar

12. Hardegree, G. M. Completeness and super-valuations, Journal of Philosophical Logic, 34(1):81-95, 2005.10.1007/s10992-004-6302-6Search in Google Scholar

13. Heyting, A. Intuitionism. Amsterdam: North-Holland Pub. Co., 1971.Search in Google Scholar

14. Kolmogorov, A. N. Zur Deutung der Intuitionistischen Logic, Mathematische Zeitschrift, 35:58-65, 1932.10.1007/BF01186549Search in Google Scholar

15. Mancosu, P. From Brouwer to Hilbert: The debate on the foundations of mathematics in the 1920s. Oxford: Oxford University Press, 1998.Search in Google Scholar

16. Martin-Löf, P. On the meanings of the logical constants and the justifications of the logical laws, Nordic Journal of Philosophical Logic, 1(1):11-60, 1996.Search in Google Scholar

17. Martino, E. and Usberti, G. Temporal and atemporal truth in intuitionistic mathematics, Topoi, 13(2):83-92, 1994.10.1007/BF00763507Search in Google Scholar

18. Mortensen, C. Inconsistent mathematics, Vol. 312. Springer, 1995.10.1007/978-94-015-8453-1Search in Google Scholar

19. Nelson, D. Constructible falsity, Journal of Symbolic Logic, 14(1):16-26, 1949.10.2307/2268973Search in Google Scholar

20. Pietz, A. Not quite intuitionism, 2011. http://epub.ub.uni-muenchen.de/12589/1/DGPhil_Pietz.pdfSearch in Google Scholar

21. Prawitz, D. Meaning approached via proofs, Synthese, 148(3):507-524, 2006.10.1007/s11229-004-6295-2Search in Google Scholar

22. Priest, G. Dualising intuitionictic negation, Principia, 13(2):165-184, 2009.10.5007/1808-1711.2009v13n2p165Search in Google Scholar

23. Raatikainen, P. Conceptions of truth in intuitionism, History and Philosophy of Logic, 25(2):131-145, 2004.10.1080/014453401625669Search in Google Scholar

24. Rauszer, C. Applications of Kripke models to Heyting-Brouwer logic, Studia Logica, 36(1-2):61-71, 1977.10.1007/BF02121115Search in Google Scholar

25. Ripley, D. Embedding denial, [in:] Caret, C., and Hjortland, O., (eds.), Foundations of Logical Consequence, Oxford University Press, forthcoming 2015.10.1093/acprof:oso/9780198715696.003.0010Search in Google Scholar

26. Shramko, Y. Dual intuitionistic logic and a variety of negations: The logic of scientific research, Studia Logica, 80(2-3):347-367, 2005.10.1007/s11225-005-8474-7Search in Google Scholar

27. Shramko, Y., Dunn, J. M., and Takenaka, T. The trilaticce of constructive truth values, Journal of Logic and Computation, 11(1):761-788, 2001.10.1093/logcom/11.6.761Search in Google Scholar

28. Skura, T. On pure refutation formulations of sentential logics, Bulletin of the Section of Logic, 19(3):102-107, 1990.Search in Google Scholar

29. Słupecki, J., Bryll, G., and Wybraniec-Skardowska, U. Theory of rejected propositions. I, Studia Logica, 29(1):75-123, 1971.10.1007/BF02121863Search in Google Scholar

30. Słupecki, J., Bryll, G., and Wybraniec-Skardowska, U. The theory of rejected propositions. II, Studia Logica, 30(1):97-145, 1972.10.1007/BF02120839Search in Google Scholar

31. Solomon, G. and DeVidi, D. Empirical negation in intuitionistic logic, [in:] DeVidi, D., Kenyon, T. (eds.) A logical Approach to Philosophy, pages 151-168. Springer, 2006.10.1007/1-4020-4054-7_8Search in Google Scholar

32. Tennant, N. Negation, absurdity and contrariety, [in:] Gabbay, D. M., Wansing, H., (eds.) What is Negation?, pages 199-222. Springer, 1999.10.1007/978-94-015-9309-0_10Search in Google Scholar

33. Trafford, J. Abstract duality and co-constructive logics, manuscript under submission, 2014.Search in Google Scholar

34. Trafford, J. Duality and Inferential Semantics, Axiomathes, forthcoming 2015.10.1007/s10516-014-9263-6Search in Google Scholar

35. Urbas, I. Dual-intuitionistic logic, Notre Dame Journal of Formal Logic, 37(3):440-451, 1996.10.1305/ndjfl/1039886520Search in Google Scholar