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.
Ahmad Almukdad & David Nelson (1984):
Constructible Falsity and Inexact Predicates.
The Journal of Symbolic Logic 49(1),
pp. 231–233,
doi:10.2307/2274105.
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.
Timothy Gowers, June Barrow-Green & Imre Leader (2008):
The Princeton Companion to Mathematics.
Princeton University Press,
Princeton.
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.
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.
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.
Per Martin-Löf (1984):
Intuitionistic Type Theory.
Bibliopolis, Napoli.
Notes by Giovanni Sambin of a series of lectures given in Padua 1980.
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.
Sara Negri & Jan von Plato (2001):
Structural Proof Theory.
Cambridge University Press,
doi:10.1017/CBO9780511527340.
David Nelson (1949):
Constructible Falsity.
The Journal of Symbolic Logic 14(1),
pp. 16–26,
doi:10.2307/2268973.
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.
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.
eptcs@eptcs.org