This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
G. Battilotti and G. Sambin , Basic logic and the cube of its extensions, Logic and foundations of mathematics (A. Cantini et al., editors), Kluwer, 1999, pp. 165–185.
Nuel D. Belnap , Display logic, Journal of Philosophical Logic, vol. 11 (1982), pp. 375–417.
A. Carbone , Duplication of directed graphs and exponential blow up of proofs, Annals of Pure and Applied Logic, vol. 100 (1999), pp. 1–67.
M. L. Dalla Chiara and R. Giuntini , Paraconsistent quantum logics, Foundations of Physics, vol. 19 (1989), pp. 891–904.
Vincent Danos and Laurent Reignier , The structure of multiplicatives, Archive of Mathematical Logic, vol. 28 (1989), pp. 181–203.
B. A. Davey and H. A. Priestley , Introduction to lattices and order, Cambridge University Press, Cambridge, 1990.
J. Michael Dunn and Gary M. Hardegree , Algebraic methods in philosophical logic, Clarendon Press, Oxford, 2001.
Jean-Yves Girard , Linear logic, Theoretical Computer Science, vol. 50 (1987), pp. 1–101.
George Grätzer , General lattice theory, Academic Press, 1978.
D. J. D. Hughes and R. J. van Glabbeek , Proof nets for unit-free multiplicative-additive linear logic, Proceedings of the 18th Annual IEEE Symposium on Logic and Computer Science (Ottawa), 062003, extended abstract, pp. 1–10.
A. G. Oliveira and R. J. G. B. de Queiroz , Geometry of deduction via graphs of proof Logic for concurrency and synchronization (R. J. G. B. de Queiroz , editor), Kluwer, 2003, pp. 3–88.
J. Schülte Monting , Cut elimination and word problem for varieties of lattices, Algebra Universalis, vol. 12 (1981), pp. 290–321.
L. Tortora de Falco , The additive multiboxes, Annals of Pure and Applied Logic, vol. 120 (2003), pp. 65–102.
L. Tortora de Falco , Additives of linear logic and normalization. Part I: A (restricted) Church-Rosser property, Theoretical Computer Science, vol. 294 (2003), pp. 489–524.