Have a personal or library account? Click to login
Co-constructive Logics for Proofs and Refutations Cover

Co-constructive Logics for Proofs and Refutations

Studia Humana
Volume 3 (2014): Issue 4 (December 2014)
By: James Trafford  
Open Access
|Jan 2015

References

  1. 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. 2. Brouwer, L. L.E.J. Brouwer: collected works. Amsterdam: North-Holland Publishing Company, 1975.
    Search in Google Scholar
  3. 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. 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. 5. Dubucs, J. Feasibility in logic, Synthese, 132(3):213-237, 2002.10.1023/A:1020332703930
    Search in Google Scholar
  6. 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. 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. 8. Dummett, M. A. E. The seas of language. Oxford: Oxford University Press, 1993.
    Search in Google Scholar
  9. 9. Dummett, M. A. E. Elements of intuitionism. Oxford: Oxford University Press, 2000.
    Search in Google Scholar
  10. 10. Dunn, J. M. and Hardegree, G. Algebraic methods in philosophical logic. Oxford: Oxford University Press, 2001.
    Search in Google Scholar
  11. 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. 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. 13. Heyting, A. Intuitionism. Amsterdam: North-Holland Pub. Co., 1971.
    Search in Google Scholar
  14. 14. Kolmogorov, A. N. Zur Deutung der Intuitionistischen Logic, Mathematische Zeitschrift, 35:58-65, 1932.10.1007/BF01186549
    Search in Google Scholar
  15. 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. 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. 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. 18. Mortensen, C. Inconsistent mathematics, Vol. 312. Springer, 1995.10.1007/978-94-015-8453-1
    Search in Google Scholar
  19. 19. Nelson, D. Constructible falsity, Journal of Symbolic Logic, 14(1):16-26, 1949.10.2307/2268973
    Search in Google Scholar
  20. 20. Pietz, A. Not quite intuitionism, 2011. http://epub.ub.uni-muenchen.de/12589/1/DGPhil_Pietz.pdf
    Search in Google Scholar
  21. 21. Prawitz, D. Meaning approached via proofs, Synthese, 148(3):507-524, 2006.10.1007/s11229-004-6295-2
    Search in Google Scholar
  22. 22. Priest, G. Dualising intuitionictic negation, Principia, 13(2):165-184, 2009.10.5007/1808-1711.2009v13n2p165
    Search in Google Scholar
  23. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 33. Trafford, J. Abstract duality and co-constructive logics, manuscript under submission, 2014.
    Search in Google Scholar
  34. 34. Trafford, J. Duality and Inferential Semantics, Axiomathes, forthcoming 2015.10.1007/s10516-014-9263-6
    Search in Google Scholar
  35. 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
DOI: https://doi.org/10.1515/sh-2015-0004 | Journal eISSN: 2299-0518
Journal RSS Feed
Language: English
Page range: 22 - 40
Published on: Jan 31, 2015
Published by: University of Information Technology and Management in Rzeszow
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
constructivism,
paraconsistency,
intuitionistic logic,
co-intuitionistic logic,
negation
Related subjects:
Business and economics,
Political economics,
Political economics, other,
Mathematics,
Logic and set theory,
Philosophy,
Philosophy, other

© 2015 James Trafford, published by University of Information Technology and Management in Rzeszow
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Previous articleVolume 3 (2014): Issue 4 (December 2014)Next article