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