M. Baaz, C. G. Fermuller, and G. Sazler, Automated Deduction for Many-Valued Logics, Handbook of Automated Reasoning, pp.1355-1402, 2001.
DOI : 10.1016/B978-044450813-3/50022-9

M. Barr and C. Wells, Category Theory for Computing Science, 1990.

C. Damásio, M. Medina, and J. Ojeda-aciego, A tabulation procedure for first-order residuated logic programs, Proc.IPMU-06, 2006.

C. V. Damásio and L. M. Pereira, Sorted monotonic logic programs and their embeddings, Proc. IPMU-04, pp.807-814, 2004.

S. E. Finkelstein, P. Freyd, and J. Lipton, Logic programming in Tau Categories, CSL'94, 1995.
DOI : 10.1007/BFb0022261

M. Fitting, A kripke-kleene semantics for logic programs*, The Journal of Logic Programming, vol.2, issue.4, pp.295-312, 1985.
DOI : 10.1016/S0743-1066(85)80005-4

M. Fitting, Fixpoint semantics for logic programming a survey, Theoretical Computer Science, vol.278, issue.1-2, pp.25-51, 2002.
DOI : 10.1016/S0304-3975(00)00330-3

M. Kifer and V. S. Subrahmanian, Theory of generalized annotated logic programming and its applications**A preliminary report on this research has appeared in [34]., The Journal of Logic Programming, vol.12, issue.4, pp.335-367, 1991.
DOI : 10.1016/0743-1066(92)90007-P

Y. Kinoshita and A. J. Power, A fibrational semantics for logic programs, Proc. 5th Int. Workshop on Extensions of Logic Programming, 1996.
DOI : 10.1007/3-540-60983-0_12

E. Komendantskaya and J. Power, Fibrational semantics for many-valued logic programs, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00295027

J. Lambek and P. Scott, Higher Order Categorical Logic, 1986.

J. Lloyd, Foundations of Logic Programming, 1987.

J. J. Lu, N. V. Murray, and E. Rosenthal, Deduction and search strategies for regular multiple-valued logics. J. of Multiple-valued logic and soft computing, pp.375-406, 2005.

S. Maclane, Categories for the working mathematician, 1971.

A. J. Power and L. Sterling, A notion of a map between logic programs, Logic Programming, Proc. 7th Int. Conf, pp.390-404, 1990.

U. Straccia, A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption, Proc. ECSQARU-07, number 4724 in LNCS, pp.115-127, 2007.
DOI : 10.1016/S0165-0114(01)00106-3

M. Van-emden, Quantitative deduction and its fixpoint theory, The Journal of Logic Programming, vol.3, issue.1, pp.37-53, 1986.
DOI : 10.1016/0743-1066(86)90003-8