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.
F. Baader , Unification in commutative theories, Journal of Symbolic Computation, vol. 8 (1989), no. 5, pp. 479–497.
F. Baader and P. Narendran , Unification of concept terms in description logics, Journal of Symbolic Computation, vol. 31 (2001), no. 3, pp. 277–305.
F. Baader and W. Nutt , Combining problems for commutative/monoidal theories: How algebra can help in equational reasoning, Journal of Applicable Algebra in Engineering, Communication and Computing, vol. 7 (1996), no. 4, pp. 309–337.
F. Borceux , Handbook of categorical algebra, 3 volumes, Cambridge University Press, 1994.
B. A. Davey and H. A. Priestley , Introduction to lattices and order, Cambridge University Press, Cambridge, 1990.
S. Ghilardi , Unification through projectivity, Journal of Logic and Computation, vol. 7 (1997), no. 6, pp. 733–752.
S. Ghilardi , Best solving modal equations, Annals of Pure and Applied Logic, vol. 102 (2000), pp. 183–198.
S. Ghilardi , Sheaves, Games and Modal Completions, Trends in Logic Series, Kluwer, 2002.
S. Ghilardi , Unification, finite duality and projectivity in varieties of Hey ting algebras, Annals of Pure and Applied Logic, vol. 127 (2004), pp. 99–115.
R. Iemhoff , Towards a proof system for admissibility, Computer Science Logic 03 (M. Baaz and A. Makowski , editors), Lecture Notes in Computer Science 2803, 2003, pp. 255–270.
K. Jänich , Topology, Undergraduate Texts in Mathematics, Springer-Verlag, 1984.
L. L. Maksimova , A classification of modal logics, Algebra i Logika, vol. 18 (1979), no. 3, pp. 328–340.
W. McCune , Solution of the Robbins problem, Journal of Automated Reasoning, vol. 19 (1997), no. 3, pp. 263–276.
W. Nutt , Unification in monoidal theories, Proceedings of the 10th international conference on automated deduction (M.E. Stickel , editor), Lecture Notes in Computer Science, vol. 449, Springer, Berlin, 1990, pp. 618–632.
H. Rasiowa , An algebraic approach to non-classical logics, North-Holland Publishing Co., Amsterdam, 1974.
G. Sambin and V. Vaccaro , Topology and duality in modal logic, Annals of Pure and Applied Logic, vol. 37 (1988), pp. 249–296.