@book(Aka16,
 editor       = {Seiki Akama},
 year         = {2016},
 title        = {Towards Paraconsistent Engineering},
 series       = {Intelligent Systems Reference Library},
 volume       = {110},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-40418-9},
)
@article(Almeida09,
 author       = {Agostinho Almeida},
 year         = {2009},
 title        = {Canonical Extensions and Relational Representations of Lattices with Negation},
 journal      = {Studia Logica},
 volume       = {91},
 number       = {2},
 pages        = {171--199},
 doi          = {10.1007/s11225-009-9171-8},
)
@article(Bou,
 author       = {F{\'e}lix Bou and Francesc Esteva and Llu{\'\i}s Godo and Rodr{\'\i}guez, Ricardo Oscar},
 year         = {2009},
 title        = {{On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice}},
 journal      = {Journal of Logic and Computation},
 volume       = {21},
 number       = {5},
 pages        = {739--790},
 doi          = {10.1093/logcom/exp062},
)
@book(Carnielli2016,
 author       = {Walter Carnielli and Marcelo Esteban Coniglio},
 year         = {2016},
 title        = {Paraconsistent Logic: Consistency, Contradiction and Negation},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-33205-5},
)
@mastersthesis(Ana21,
 author       = {Ana Luzia R. Cruz},
 year         = {2021},
 title        = {Exploring paraconsistent logics for quantum programs},
 school       = {DI, Universidade do Minho},
)
@article(EstevaFrancesc,
 author       = {Francesc Esteva and Lluis Godo},
 year         = {2001},
 title        = {Monoidal t-norm Based Logic: Towards a Logic for Left-continuous t-norms},
 journal      = {Fuzzy Sets and Systems},
 volume       = {124},
 pages        = {271--288},
 doi          = {10.1016/S0165-0114(01)00098-7},
)
@incollection(Gor90,
 author       = {Valentin Goranko},
 year         = {1990},
 title        = {Completeness and Incompleteness in the Bimodal Base $\mathscr{L}(R,-R)$},
 editor       = {Petio P. Petkov},
 booktitle    = {Mathematical Logic},
 publisher    = {Springer},
 address      = {Boston},
 pages        = {311--326},
 doi          = {10.1007/978-1-4613-0609-2\_22},
)
@article(js123,
 author       = {Stanis{\l}aw Ja\'skowski},
 year         = {1969},
 title        = {Propositional Calculus for Contradictory Deductive Systems (Communicated at the Meeting of March 19, 1948)},
 journal      = {Studia Logica},
 volume       = {24},
 pages        = {143--160},
 doi          = {10.1007/BF02134311},
)
@article(Kracht1998-KRAOEO,
 author       = {Marcus Kracht},
 year         = {1998},
 title        = {On Extensions of Intermediate Logics by Strong Negation},
 journal      = {Journal of Philosophical Logic},
 volume       = {27},
 number       = {1},
 pages        = {49--73},
 doi          = {10.1023/A:1004222213212},
)
@article(MADEIRA20161011,
 author       = {Alexandre Madeira and Renato Neves and Manuel A.Martins},
 year         = {2016},
 title        = {An exercise on the generation of many-valued dynamic logics},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {85},
 number       = {5, Part 2},
 pages        = {1011--1037},
 doi          = {10.1016/j.jlamp.2016.03.004},
 note         = {Articles dedicated to Prof. J. N. Oliveira on the occasion of his 60th birthday},
)
@article(Preskill18,
 author       = {John Preskill},
 year         = {2018},
 title        = {Quantum Computing in the NISQ era and beyond},
 journal      = {Quantum},
 volume       = {2},
 pages        = {79},
 doi          = {10.22331/q-2018-08-06-79},
)
@article(10.1093,
 author       = {Umberto Rivieccio and Achim Jung and Ramon Jansana},
 year         = {2015},
 title        = {Four-valued modal logic: Kripke semantics and duality},
 journal      = {Journal of Logic and Computation},
 volume       = {27},
 number       = {1},
 pages        = {155--199},
 doi          = {10.1093/logcom/exv038},
)