@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},
)