@book(vanben2011,
 author       = {Johan van Benthem},
 year         = {2011},
 title        = {Logical dynamics of information and interaction},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/cbo9780511974533},
)
@article(vanben2008,
 author       = {Johan Van Benthem},
 year         = {2008},
 title        = {Logical dynamics meets logical pluralism?},
 journal      = {The Australasian Journal of Logic},
 volume       = {6},
 pages        = {182--209},
 doi          = {10.26686/ajl.v6i0.1801},
)
@book(dalla2013,
 author       = {Maria Luisa Dalla Chiara and Roberto Giuntini and Richard Greechie},
 year         = {2013},
 title        = {Reasoning in quantum theory: sharp and unsharp quantum logics},
 volume       = {22},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/978-94-017-0526-4},
)
@article(dalla2005,
 author       = {Maria Luisa Dalla Chiara and Roberto Giuntini and Roberto Leporini},
 year         = {2005},
 title        = {Logics from quantum computation},
 journal      = {International Journal of Quantum Information},
 volume       = {03},
 number       = {02},
 pages        = {293--337},
 doi          = {10.1142/s0219749905000943},
)
@article(deutsch,
 author       = {David Deutsch and Artur Ekert and Rossella Lupacchini},
 year         = {2000},
 title        = {Machines, logic and quantum physics},
 journal      = {Bulletin of Symbolic Logic},
 volume       = {6},
 number       = {3},
 pages        = {265--283},
 doi          = {10.2307/421056},
)
@article(starperp,
 author       = {J. Michael Dunn},
 year         = {1993},
 title        = {Star and perp: two treatments of negation},
 journal      = {Philosophical Perspectives},
 volume       = {7},
 pages        = {331--357},
 doi          = {10.2307/2214128},
)
@article(dunn00,
 author       = {J. Michael Dunn},
 year         = {2000},
 title        = {Partiality and its dual},
 journal      = {Studia Logica},
 volume       = {66},
 pages        = {5--40},
 doi          = {10.1023/A:1026740726955},
)
@book(dunnhardegree,
 author       = {J. Michael Dunn and Gary Hardegree},
 year         = {2001},
 title        = {Algebraic Methods in Philosophical Logic},
 publisher    = {Oxford University Press},
)
@book(GabWan,
 editor       = {Dov M. Gabbay and Heinrich Wansing},
 year         = {1999},
 title        = {What is a negation?},
 series       = {Applied Logic Series},
 volume       = {13},
 publisher    = {Springer Netherlands},
 doi          = {10.1007/978-94-015-9309-0},
)
@article(humber95,
 author       = {Lloyd Humberstone},
 year         = {1995},
 title        = {Negation by iteration},
 journal      = {Theoria},
 volume       = {61},
 number       = {1},
 pages        = {1--24},
 doi          = {10.1111/j.1755-2567.1995.tb00489.x},
)
@article(kamide1,
 author       = {Norihiro Kamide},
 year         = {2017},
 title        = {Paraconsistent double negations as classical and intuitionistic negations},
 journal      = {Studia Logica},
 volume       = {105},
 number       = {6},
 pages        = {1167--1191},
 doi          = {10.1007/s11225-017-9731-2},
)
@book(odin2008,
 author       = {Sergei P. Odintsov},
 year         = {2008},
 title        = {Constructive Negations and Paraconsistency},
 publisher    = {Springer Netherlands},
 doi          = {10.1007/978-1-4020-6867-6},
)
@article(Omori2015,
 author       = {Hitoshi Omori and Katsuhiko Sano},
 year         = {2015},
 title        = {Generalizing functional completeness in Belnap-Dunn logic},
 journal      = {Studia Logica},
 volume       = {103},
 number       = {5},
 pages        = {883--917},
 doi          = {10.1007/s11225-014-9597-5},
)
@article(OmoriWan18,
 author       = {Hitoshi Omori and Heinrich Wansing},
 year         = {2018},
 title        = {On contra-classical variants of Nelson logic N4 and its classical extension},
 journal      = {The Review of Symbolic Logic},
 volume       = {11},
 pages        = {805--820},
 doi          = {10.1017/s1755020318000308},
)
@article(post,
 author       = {Emil Post},
 year         = {1921},
 title        = {Introduction to a general theory of elementary propositions},
 journal      = {American Journal of Mathematics},
 volume       = {43},
 pages        = {163--185},
 doi          = {10.2307/2370324},
)
@book(rasiowa,
 author       = {Helena Rasiowa},
 year         = {1974},
 title        = {An algebraic approach to non-classical logics},
 series       = {Studies in Logic and Foundations of Mathematics},
 volume       = {78},
 publisher    = {North-Holland, Amsterdam},
 doi          = {10.1016/S0049-237X(09)70074-6},
)
@techreport(ruet,
 author       = {Paul Ruet},
 year         = {1996},
 title        = {Complete set of connectives and complete sequent calculus for Belnap's logic},
 type         = {Technical Report},
 institution  = {{\'E}cole Normale Sup{\'e}rieure. Logic Colloquium 96, Document LIENS-96--28.},
)
@book(WanFocus,
 editor       = {Heinrich Wansing},
 year         = {1996},
 title        = {Negation: A notion in focus},
 publisher    = {W.~De Gruyter},
 doi          = {10.1515/9783110876802},
)
@article(zagritwo,
 author       = {Dmitry Zaitsev and Oleg Grigoriev},
 year         = {2011},
 title        = {Two kinds of truth~-- one logic},
 journal      = {Logical Investigations},
 volume       = {17},
 pages        = {121--139},
 doi          = {10.21146/2074-1472-2011-17-0-121-139},
 note         = {(in Russian)},
)
@article(bifacial,
 author       = {Dmitry Zaitsev and Yaroslav Shramko},
 year         = {2013},
 title        = {Bi-facial truth: a case for generalized truth values},
 journal      = {Studia Logica},
 volume       = {101},
 number       = {6},
 pages        = {1299--1318},
 doi          = {10.1007/s11225-013-9534-z},
)