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