1. Juan C. Agudelo-Agudelo & Andrés Sicard-Ramírez (2021): Type Theory with Opposite Types: A Paraconsistent Type Theory. Logic Journal of the IGPL, doi:10.1093/jigpal/jzab022.
  2. Ahmad Almukdad & David Nelson (1984): Constructible Falsity and Inexact Predicates. The Journal of Symbolic Logic 49(1), pp. 231–233, doi:10.2307/2274105.
  3. Wikipedia contributors (2021): Duality (mathematics) — Wikipedia, The Free Encyclopedia. Available at [Online; accessed 22-April-2021].
  4. Roberto Di Cosmo & Dale Miller (2019): Linear Logic. In: Edward N. Zalta: The Stanford Encyclopedia of Philosophy, Summer 2019 edition. Metaphysics Research Lab, Stanford University.
  5. Timothy Gowers, June Barrow-Green & Imre Leader (2008): The Princeton Companion to Mathematics. Princeton University Press, Princeton.
  6. Johan Georg Granström (2011): Treatise on Intuitionistic Type Theory. Logic, Epistemology and the Unity of Science 22. Springer, doi:10.1007/978-94-007-1736-7.
  7. Ansten Klev (2019): Eta-rules in Martin-Löf Type Theory. The Bulletin of Symbolic Logic 25(3), pp. 333–359, doi:10.1017/bsl.2019.21.
  8. E. G. K. López-Escobar (1972): Refutability and Elementary Number Theory. Indagationes Mathematicae (Proceedings) 75(4), pp. 362–374, doi:10.1016/1385-7258(72)90053-4.
  9. Per Martin-Löf (1984): Intuitionistic Type Theory. Bibliopolis, Napoli. Notes by Giovanni Sambin of a series of lectures given in Padua 1980.
  10. Sara Negri (2002): A Normalizing System of Natural Deduction for Intuitionistic Linear Logic. Archive for Mathematical Logic 41(8), pp. 789–810, doi:10.1007/s001530100136.
  11. Sara Negri & Jan von Plato (2001): Structural Proof Theory. Cambridge University Press, doi:10.1017/CBO9780511527340.
  12. David Nelson (1949): Constructible Falsity. The Journal of Symbolic Logic 14(1), pp. 16–26, doi:10.2307/2268973.
  13. Heinrich Wansing (2008): Constructive negation, implication and co-implication. Journal of Applied Non-Classical Logics 18(2–3), pp. 341–364, doi:10.3166/jancl.18.341-364.
  14. Heinrich Wansing (2016): Falsification, Natural Deduction and Bi-Intuitionistic Logic. Journal of Logic and Computation 26(1), pp. 425–450, doi:10.1093/logcom/ext035.

Comments and questions to:
For website issues: