Hugo Albuquerque
Adam Přenosil
Umberto Rivieccio
2017
An algebraic view of super-Belnap logics
Studia Logica
105
1–36
10.1007/s11225-017-9739-7
Arnon Avron
Ofer Arieli
Anna Zamansky
2018
Theory of Effective Propositional Paraconsistent Logics
Studies in Logic
College Publications
Raymond Balbes
Philip Dwinger
1975
Distributive Lattices
University of Missouri Press
Eduardo Alejandro Barrio
Walter Carnielli
2019
Volume I: Recovery Operators in Logics of Formal Inconsistency (special issue)
Logic Journal of the IGPL
28
5
615–623
10.1093/jigpal/jzy053
Nuel D. Belnap
1977
A useful four-valued logic
Modern Uses of Multiple-Valued Logic
Springer Netherlands
Dordrecht
5–37
10.1007/978-94-010-1161-7_2
Carlos Caleiro
Sérgio Marcelino
2019
Analytic calculi for monadic PNmatrices
R. Iemhoff
M. Moortgat
R. Queiroz
Logic, Language, Information and Computation (WoLLIC 2019)
LNCS
11541
Springer
84–98
10.1007/978-3-662-59533-6_6
Liliana M. Cantú
2019
Sobre la Lógica que Preserva Grados de Verdad Asociada a las Álgebras de Stone Involutivas
Universidad Nacional del Sur
Bahía Blanca, Argentina
Liliana M. Cantú
Martín Figallo
2018
On the logic that preserves degrees of truth associated to involutive Stone algebras
Logic Journal of the IGPL
28
5
1000–1020
10.1093/jigpal/jzy071
https://academic.oup.com/jigpal/article-pdf/28/5/1000/33791957/jzy071.pdf
Rudolf Carnap
1943
Formalization of Logic
Harvard University Press
Walter A. Carnielli
Marcelo E. Coniglio
João Marcos
2007
Logics of Formal Inconsistency
D. Gabbay
F. Guenthner
Handbook of Philosophical Logic
2nd
14
Springer
1–93
10.1007/978-1-4020-6324-4_1
Roberto Cignoli
Marta S. De Gallego
1983
Dualities for some De Morgan algebras with operators andŁ ukasiewicz algebras
Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
34
3
377393
10.1017/S1446788700023806
B. A. Davey
H. A. Priestley
2002
Introduction to Lattices and Order, Second Edition
2
Cambridge University Press
10.1017/CBO9780511809088
Adriano Dodó
João Marcos
2014
Negative modalities, consistency and determinedness
Electronic Notes in Theoretical Computer Science
300
21–45
10.1016/j.entcs.2013.12.010
Francesc Esteva
Aldo Figallo-Orellano
Tommaso Flaminio
Lluis Godo
2021
Logics of formal inconsistency based on distributive involutive residuated lattices
Journal of Logic and Computation
31
12261265
10.1093/logcom/exab029
Josep Maria Font
2016
Abstract Algebraic Logic: An introductory textbook
College Publications
Vitor Greati
2021
Logicantsy
https://github.com/greati/logicantsy
Lloyd Humberstone
2011
The Connectives
MIT Press
10.7551/mitpress/9055.001.0001
Ori Lahav
João Marcos
Yoni Zohar
2017
Sequent systems for negative modalities
Logica Universalis
11
345382
10.1007/s11787-017-0175-2
Jan Łukasiewicz
1930
Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls
Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie
23
57–77
Sérgio Marcelino
Umberto Rivieccio
2021
Logics of involutive Stone algebras
Soft Computing (in print)
Preprint available at https://arxiv.org/abs/2102.05455
Sérgio Marcelino
Carlos Caleiro
2021
Axiomatizing non-deterministic many-valued generalized consequence relations
Synthese
198
53735390
10.1007/s11229-019-02142-8
João Marcos
2005
Logics of Formal Inconsistency
Unicamp, Brazil & IST, Portugal
https://www.math.tecnico.ulisboa.pt/~jmarcos/Thesis/
João Marcos
2005
Nearly every normal modal logic is paranormal
Logique et Analyse
48
279–300
João Marcos
2007
Ineffable inconsistencies
J.-Y. Béziau
W. Carnielli
D. M. Gabbay
Handbook of Paraconsistency
College Publications
301–311
António Monteiro
1980
Sur les algèbres de Heyting symétriques
Portugaliae Mathematica
39
1-4
1–237
http://eudml.org/doc/115416
Adam Přenosil
2021
The lattice of super-Belnap logics
The Review of Symbolic Logic
150
10.1017/S1755020321000204
Umberto Rivieccio
2012
An infinity of super-Belnap logics
Journal of Applied Non-Classical Logics
22
4
319–335
10.1080/11663081.2012.737154
Hanamantagouda P. Sankappanavar
1987
Heyting Algebras with a Dual Lattice Endomorphism
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik
33
6
565–573
10.1002/malq.19870330610
D. J. Shoesmith
T. J. Smiley
1978
Multiple-Conclusion Logic
Cambridge University Press
10.1017/CBO9780511565687