@article(Almukdad1984, author = {A. Almukdad and D. Nelson}, year = {1984}, title = {Constructible falsity and inexact predicates}, volume = {49}, number = {1}, pages = {231--233}, doi = {10.2307/2274105}, ) @book(Blok2014, author = {W. J. Blok and D. Pigozzi}, year = {2014}, title = {Algebraizable Logics}, publisher = {Advanced Reasoning Forum}, ) @book(Hamilton1998, author = {A. G. Hamilton}, year = {1998}, title = {Logic for Mathematicians}, edition = {second}, publisher = {Cambridge University Press}, ) @inproceedings(Liang2019, author = {F. Liang and T. Nascimento}, year = {2019}, title = {Algebraic Semantics for Quasi-Nelson Logic}, editor = {Rosalie Iemhoff and Michael Moortgat and Ruy de Queiroz}, booktitle = {Logic, Language, Information, and Computation}, volume = {11541}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, pages = {450--466}, doi = {10.1007/978-3-662-59533-6_27}, url = {https://link.springer.com/chapter/10.1007/978-3-662-59533-6_27}, ) @article(Nascimento2021, author = {T. Nascimento and U. Rivieccio}, year = {2021}, title = {Negation and Implication in Quasi-Nelson Logic}, journal = {Logical Investigations}, volume = {27}, number = {1}, pages = {107--123}, doi = {10.21146/2074-1472-2021-27-1-107-123}, ) @article(Nelson1949, author = {D. Nelson}, year = {1949}, title = {Constructible falsity}, journal = {Journal of Symbolic Logic}, volume = {14}, number = {1}, pages = {16--26}, doi = {10.2307/2268973}, ) @article(Odintsov2003, author = {S. P. Odintsov}, year = {2003}, title = {Algebraic Semantics for Paraconsistent Nelson's Logic}, journal = {Journal of Logic and Computation}, volume = {13}, number = {4}, pages = {453--468}, doi = {10.1093/logcom/13.4.453}, ) @article(Rivieccio2020, author = {U. Rivieccio}, year = {2020}, title = {Fragments of quasi-Nelson: two negations}, journal = {Journal of Applied Logic}, volume = {7}, number = {4}, pages = {499--559}, ) @article(Rivieccio2021b, author = {U. Rivieccio}, year = {2021}, title = {Fragments of quasi-Nelson: Residuation}, note = {Submitted}, ) @article(Rivieccio2021a, author = {U. Rivieccio}, year = {2021}, title = {Fragments of Quasi-Nelson: The Algebraizable Core}, journal = {Logic Journal of the IGPL}, doi = {10.1093/jigpal/jzab023}, ) @article(Rivieccio2022, author = {U. Rivieccio}, year = {2022}, title = {Quasi-N4-lattices}, journal = {Soft Computing}, volume = {26}, pages = {2671\IeC{\textendash}2688}, doi = {10.1007/s00500-021-06719-99}, ) @article(Rivieccio2021c, author = {U. Rivieccio and R. Jansana}, year = {2021}, title = {Quasi-Nelson algebras and fragments}, journal = {Mathematical Structures in Computer Science}, pages = {1--29}, doi = {10.1017/s0960129521000049}, ) @inproceedings(Rivieccio2018, author = {U. Rivieccio and M. Spinks}, year = {2018}, title = {Quasi-Nelson algebras}, booktitle = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications}, organization = {Universidade Federal do Cear\IeC{\'a}}, pages = {189--201}, ) @incollection(Spinks2018, author = {M. Spinks and R. Veroff}, year = {2018}, title = {Paraconsistent constructive logic with strong negation as a contraction-free relevant logic}, editor = {J. Czelakowski}, booktitle = {Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science}, series = {Outstanding Contributions to Logic}, volume = {16}, publisher = {Springer International Publishing}, pages = {323--379}, doi = {10.1007/978-3-319-74772-9_13}, )