@article(agudelo-sicard-2021,
 author       = {Agudelo-Agudelo, Juan~C. and Sicard-Ram\'irez, Andr\'es},
 year         = {2021},
 title        = {Type Theory with Opposite Types: A Paraconsistent Type Theory},
 journal      = {Logic Journal of the IGPL},
 doi          = {10.1093/jigpal/jzab022},
)
@article(almukdad-nelson-1984,
 author       = {Ahmad Almukdad and David Nelson},
 year         = {1984},
 title        = {Constructible Falsity and Inexact Predicates},
 journal      = {The Journal of Symbolic Logic},
 volume       = {49},
 number       = {1},
 pages        = {231--233},
 doi          = {10.2307/2274105},
)
@misc(wiki-duality-math-2021,
 author       = {Wikipedia contributors},
 year         = {2021},
 title        = {Duality (mathematics) --- {Wikipedia}{,} The Free Encyclopedia},
 url          = {https://en.wikipedia.org/w/index.php?title=Duality_(mathematics)&oldid=1018141284},
 note         = {[Online; accessed 22-April-2021]},
)
@incollection(dicosmo-miller-2019,
 author       = {Di~Cosmo, Roberto and Dale Miller},
 year         = {2019},
 title        = {{Linear Logic}},
 editor       = {Edward~N. Zalta},
 booktitle    = {The {Stanford} Encyclopedia of Philosophy},
 edition      = {{S}ummer 2019},
 publisher    = {Metaphysics Research Lab, Stanford University},
)
@book(gowers-barrow-leader-2008,
 editor       = {Timothy Gowers and Barrow-Green, June and Imre Leader},
 year         = {2008},
 title        = {The Princeton Companion to Mathematics},
 publisher    = {Princeton University Press},
 address      = {Princeton},
)
@book(ganstrom-2011,
 author       = {Johan~Georg Granstr{\"o}m},
 year         = {2011},
 title        = {Treatise on Intuitionistic Type Theory},
 series       = {Logic, Epistemology and the Unity of Science},
 volume       = {22},
 publisher    = {Springer},
 doi          = {10.1007/978-94-007-1736-7},
)
@article(klev-2019,
 author       = {Ansten Klev},
 year         = {2019},
 title        = {Eta-rules in Martin-L\IeC{\"o}f Type Theory},
 journal      = {The Bulletin of Symbolic Logic},
 volume       = {25},
 number       = {3},
 pages        = {333--359},
 doi          = {10.1017/bsl.2019.21},
)
@article(lopez-escobar-1972,
 author       = {L\'{o}pez-Escobar, E.~G.~K.},
 year         = {1972},
 title        = {Refutability and Elementary Number Theory},
 journal      = {Indagationes Mathematicae (Proceedings)},
 volume       = {75},
 number       = {4},
 pages        = {362--374},
 doi          = {10.1016/1385-7258(72)90053-4},
)
@book(martin-lof-1984,
 author       = {Martin-L\IeC{\"o}f, Per},
 year         = {1984},
 title        = {Intuitionistic Type Theory},
 publisher    = {Bibliopolis, Napoli},
 note         = {Notes by Giovanni Sambin of a series of lectures given in Padua 1980},
)
@article(negri-2002a,
 author       = {Sara Negri},
 year         = {2002},
 title        = {A Normalizing System of Natural Deduction for Intuitionistic Linear Logic},
 journal      = {Archive for Mathematical Logic},
 volume       = {41},
 number       = {8},
 pages        = {789--810},
 doi          = {10.1007/s001530100136},
)
@book(negri-vonplato-2001,
 author       = {Sara Negri and {von}~Plato, Jan},
 year         = {2001},
 title        = {Structural Proof Theory},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511527340},
)
@article(nelson-1949,
 author       = {David Nelson},
 year         = {1949},
 title        = {Constructible Falsity},
 journal      = {The Journal of Symbolic Logic},
 volume       = {14},
 number       = {1},
 pages        = {16--26},
 doi          = {10.2307/2268973},
)
@article(wansing-2008,
 author       = {Heinrich Wansing},
 year         = {2008},
 title        = {Constructive negation, implication and co-implication},
 journal      = {Journal of Applied Non-Classical Logics},
 volume       = {18},
 number       = {2--3},
 pages        = {341--364},
 doi          = {10.3166/jancl.18.341-364},
)
@article(wansing-2016a,
 author       = {Heinrich Wansing},
 year         = {2016},
 title        = {Falsification, Natural Deduction and Bi-Intuitionistic Logic},
 journal      = {Journal of Logic and Computation},
 volume       = {26},
 number       = {1},
 pages        = {425--450},
 doi          = {10.1093/logcom/ext035},
)