@article(rivieccio2017,
 author       = {Hugo Albuquerque and P\IeC{\v r}enosil, Adam and Umberto Rivieccio},
 year         = {2017},
 title        = {An algebraic view of super-{B}elnap logics},
 journal      = {Studia Logica},
 volume       = {105},
 pages        = {1--36},
 doi          = {10.1007/s11225-017-9739-7},
)
@book(avron2018,
 author       = {Arnon Avron and Ofer Arieli and Anna Zamansky},
 year         = {2018},
 title        = {Theory of Effective Propositional Paraconsistent Logics},
 series       = {Studies in Logic},
 publisher    = {College Publications},
)
@book(dwinger1975,
 author       = {Raymond Balbes and Philip Dwinger},
 year         = {1975},
 title        = {Distributive Lattices},
 publisher    = {University of Missouri Press},
)
@article(carnielli2019,
 author       = {Eduardo Alejandro Barrio and Walter Carnielli},
 year         = {2019},
 title        = {{Volume I: Recovery Operators in Logics of Formal Inconsistency (special issue)}},
 journal      = {Logic Journal of the IGPL},
 volume       = {28},
 number       = {5},
 pages        = {615--623},
 doi          = {10.1093/jigpal/jzy053},
)
@incollection(belnap1977,
 author       = {Nuel D. Belnap},
 year         = {1977},
 title        = {A useful four-valued logic},
 booktitle    = {Modern Uses of Multiple-Valued Logic},
 publisher    = {Springer Netherlands},
 address      = {Dordrecht},
 pages        = {5--37},
 doi          = {10.1007/978-94-010-1161-7\_2},
)
@incollection(marcelinowollic,
 author       = {Carlos Caleiro and S\IeC{\'e}rgio Marcelino},
 year         = {2019},
 title        = {Analytic calculi for monadic {P}{N}matrices},
 editor       = {R. Iemhoff and M. Moortgat and R. Queiroz},
 booktitle    = {Logic, Language, Information and Computation (WoLLIC 2019)},
 series       = {LNCS},
 volume       = {11541},
 publisher    = {Springer},
 pages        = {84--98},
 doi          = {10.1007/978-3-662-59533-6\_6},
)
@mastersthesis(cantu:2019,
 author       = {Cant\IeC{\'u}, Liliana M.},
 year         = {2019},
 title        = {Sobre la L\IeC{\'o}gica que Preserva Grados de Verdad Asociada a las \IeC{\'A}lgebras de {S}tone Involutivas},
 school       = {Universidad Nacional del Sur},
 address      = {Bah\IeC{\'\i}a Blanca, Argentina},
)
@article(cantu:2020,
 author       = {Cant\IeC{\'u}, Liliana M. and Mart\IeC{\'\i}n Figallo},
 year         = {2018},
 title        = {{On the logic that preserves degrees of truth associated to involutive {S}tone algebras}},
 journal      = {Logic Journal of the IGPL},
 volume       = {28},
 number       = {5},
 pages        = {1000--1020},
 doi          = {10.1093/jigpal/jzy071},
 eprint       = {https://academic.oup.com/jigpal/article-pdf/28/5/1000/33791957/jzy071.pdf},
)
@book(Carnap43,
 author       = {Rudolf Carnap},
 year         = {1943},
 title        = {Formalization of Logic},
 publisher    = {Harvard University Press},
)
@incollection(03-CCM-lfi,
 author       = {Walter A. Carnielli and Marcelo E. Coniglio and Jo{\~a}o Marcos},
 year         = {2007},
 title        = {Logics of {Formal} {Inconsistency}},
 editor       = {D. Gabbay and F. Guenthner},
 booktitle    = {Handbook of {Philosophical} {Logic}},
 edition      = {2nd},
 volume       = {14},
 publisher    = {Springer},
 pages        = {1--93},
 doi          = {10.1007/978-1-4020-6324-4\_1},
)
@article(cignoli1983,
 author       = {Roberto Cignoli and De Gallego, Marta S.},
 year         = {1983},
 title        = {Dualities for some De Morgan algebras with operators and {\L}ukasiewicz algebras},
 journal      = {Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics},
 volume       = {34},
 number       = {3},
 pages        = {377\IeC{\textendash}393},
 doi          = {10.1017/S1446788700023806},
)
@book(priestley2002,
 author       = {B. A. Davey and H. A. Priestley},
 year         = {2002},
 title        = {Introduction to Lattices and Order, Second Edition},
 edition      = {2},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511809088},
)
@article(dodo2014,
 author       = {Dod\IeC{\'o}, Adriano and Jo\IeC{\~a}o Marcos},
 year         = {2014},
 title        = {Negative modalities, consistency and determinedness},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {300},
 pages        = {21--45},
 doi          = {10.1016/j.entcs.2013.12.010},
)
@article(esteva2021,
 author       = {Francesc Esteva and Figallo-Orellano, Aldo and Tommaso Flaminio and Lluis Godo},
 year         = {2021},
 title        = {{Logics of formal inconsistency based on distributive involutive residuated lattices}},
 journal      = {Journal of Logic and Computation},
 volume       = {31},
 pages        = {1226\IeC{\textendash}1265},
 doi          = {10.1093/logcom/exab029},
)
@book(font:2016,
 author       = {Josep Maria Font},
 year         = {2016},
 title        = {Abstract Algebraic Logic: An introductory textbook},
 publisher    = {College Publications},
)
@misc(vitor2021,
 author       = {Vitor Greati},
 year         = {2021},
 title        = {Logicantsy},
 howpublished = {\url{https://github.com/greati/logicantsy}},
)
@book(humberstone:connectives,
 author       = {Lloyd Humberstone},
 year         = {2011},
 title        = {The Connectives},
 publisher    = {MIT Press},
 doi          = {10.7551/mitpress/9055.001.0001},
)
@article(lahav2017,
 author       = {Ori Lahav and Jo\~ao Marcos and Yoni Zohar},
 year         = {2017},
 title        = {Sequent systems for negative modalities},
 journal      = {Logica Universalis},
 volume       = {11},
 pages        = {345\IeC{\textendash}382},
 doi          = {10.1007/s11787-017-0175-2},
)
@article(JanLuke1930,
 author       = {{{\L}ukasiewicz}, Jan},
 year         = {1930},
 title        = {Philosophische {B}emerkungen zu mehrwertigen {S}ystemen des {A}ussagenkalk\"uls},
 journal      = {Comptes Rendus des S\'eances de la Soci\'et\'e des Sciences et des Lettres de Varsovie},
 volume       = {23},
 pages        = {57--77},
)
@article(marcelino2021,
 author       = {S{\'e}rgio Marcelino and Umberto Rivieccio},
 year         = {2021},
 title        = {Logics of involutive {S}tone algebras},
 journal      = {Soft Computing (in print)},
 note         = {Preprint available at \url{https://arxiv.org/abs/2102.05455}},
)
@article(marcelino:2019,
 author       = {S\IeC{\'e}rgio Marcelino and Carlos Caleiro},
 year         = {2021},
 title        = {{Axiomatizing non-deterministic many-valued generalized consequence relations}},
 journal      = {Synthese},
 volume       = {198},
 pages        = {5373\IeC{\textendash}5390},
 doi          = {10.1007/s11229-019-02142-8},
)
@phdthesis(jm2005thesis,
 author       = {Jo{\~a}o Marcos},
 year         = {2005},
 title        = {Logics of Formal Inconsistency},
 school       = {Unicamp, Brazil \& IST, Portugal},
 url          = {https://www.math.tecnico.ulisboa.pt/~jmarcos/Thesis/},
)
@article(jmarcos2005,
 author       = {Jo{\~a}o Marcos},
 year         = {2005},
 title        = {Nearly every normal modal logic is paranormal},
 journal      = {Logique et Analyse},
 volume       = {48},
 pages        = {279--300},
)
@incollection(marcos-ineffable,
 author       = {Jo{\~a}o Marcos},
 year         = {2007},
 title        = {Ineffable inconsistencies},
 editor       = {B\IeC{\'e}ziau, J.-Y. and W. Carnielli and D. M. Gabbay},
 booktitle    = {Handbook of Paraconsistency},
 publisher    = {College Publications},
 pages        = {301--311},
)
@article(Monteiro1980,
 author       = {Ant\IeC{\'o}nio Monteiro},
 year         = {1980},
 title        = {Sur les alg\IeC{\`e}bres de Heyting sym\IeC{\'e}triques},
 journal      = {Portugaliae Mathematica},
 volume       = {39},
 number       = {1-4},
 pages        = {1--237},
 url          = {http://eudml.org/doc/115416},
)
@article(prenosil2021,
 author       = {P\IeC{\v r}enosil, Adam},
 year         = {2021},
 title        = {The lattice of super-{B}elnap logics},
 journal      = {The Review of Symbolic Logic},
 pages        = {1\IeC{\textendash}50},
 doi          = {10.1017/S1755020321000204},
)
@article(rivieccio2012,
 author       = {Umberto Rivieccio},
 year         = {2012},
 title        = {An infinity of super-Belnap logics},
 journal      = {Journal of Applied Non-Classical Logics},
 volume       = {22},
 number       = {4},
 pages        = {319--335},
 doi          = {10.1080/11663081.2012.737154},
)
@article(Sankappanavar1987,
 author       = {Hanamantagouda P. Sankappanavar},
 year         = {1987},
 title        = {Heyting Algebras with a Dual Lattice Endomorphism},
 journal      = {Zeitschrift fur mathematische Logik und Grundlagen der Mathematik},
 volume       = {33},
 number       = {6},
 pages        = {565--573},
 doi          = {10.1002/malq.19870330610},
)
@book(shoesmith_smiley:1978,
 author       = {D. J. Shoesmith and T. J. Smiley},
 year         = {1978},
 title        = {Multiple-Conclusion Logic},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511565687},
)