[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.005]Search 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.5]Search in Google Scholar
[4. Crolard, T. Subtractive logic, Theoretical Computer Science, 254(1):151-185, 2001.10.1016/S0304-3975(99)00124-3]Search in Google Scholar
[5. Dubucs, J. Feasibility in logic, Synthese, 132(3):213-237, 2002.10.1023/A:1020332703930]Search 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_17]Search 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.19810270803]Search 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-6]Search 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/BF01186549]Search 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/BF00763507]Search in Google Scholar
[18. Mortensen, C. Inconsistent mathematics, Vol. 312. Springer, 1995.10.1007/978-94-015-8453-1]Search in Google Scholar
[19. Nelson, D. Constructible falsity, Journal of Symbolic Logic, 14(1):16-26, 1949.10.2307/2268973]Search in Google Scholar
[20. Pietz, A. Not quite intuitionism, 2011. http://epub.ub.uni-muenchen.de/12589/1/DGPhil_Pietz.pdf]Search in Google Scholar
[21. Prawitz, D. Meaning approached via proofs, Synthese, 148(3):507-524, 2006.10.1007/s11229-004-6295-2]Search in Google Scholar
[22. Priest, G. Dualising intuitionictic negation, Principia, 13(2):165-184, 2009.10.5007/1808-1711.2009v13n2p165]Search in Google Scholar
[23. Raatikainen, P. Conceptions of truth in intuitionism, History and Philosophy of Logic, 25(2):131-145, 2004.10.1080/014453401625669]Search in Google Scholar
[24. Rauszer, C. Applications of Kripke models to Heyting-Brouwer logic, Studia Logica, 36(1-2):61-71, 1977.10.1007/BF02121115]Search 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.0010]Search 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-7]Search 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.761]Search 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/BF02121863]Search 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/BF02120839]Search 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_8]Search 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_10]Search 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-6]Search in Google Scholar
[35. Urbas, I. Dual-intuitionistic logic, Notre Dame Journal of Formal Logic, 37(3):440-451, 1996.10.1305/ndjfl/1039886520]Search in Google Scholar