Parent, Xavier ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
van der Torre, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Dummett, M. (1973). The philosophical basis of intuitionistic logic. Truth and other enigmas (pp. 215–247). Cambridge: Harvard University Press.
Gabbay, D. (1981). Semantical investigations in Heyting’s intuitionistic logic. Dordrecht: Reidel.
Gabbay, D. (2007). Logic for artificial intelligence and information technology, volume 9 of texts in computer science. London: College Publications.
Hansen, J. (2008). Prioritized conditional imperatives: problems and a new proposal. Autonomous Agents and Multi-Agent Systems, 17(1), 11–35.
Harrop, R. (1956). On disjunctions and existential statements in intuitionistic systems of logic. Mathematische Annalen, 132(4), 347–361.
Johansson, I. (1936). Der Minimalkalkul, ein reduzierter intuitionistischer Formalismus. Compositio Mathematica, 4, 119–136.
Kripke, S. (1965). Semantical analysis of intuitionistic logic I. In M. Dummett & J. N. Cross-ley (Eds.), Formal systems and recursive functions (pp. 92–130). Amsterdam: North-Holland Publishing Co.
Makinson, D. (2012). Sets, logic and maths for computing (2nd ed.). London: Springer.
Makinson, D., & van der Torre, L. (2000). Input/output logics. Journal of Philosophical Logic, 29(4), 383–408.
Makinson, D., & van der Torre, L. (2001). Constraints for input/output logics. Journal of Philosophical Logic, 30(2), 155–185.
Makinson, D., & van der Torre, L. (2003). Permission from an input/output perspective. Journal of Philosophical Logic, 32(3), 391–416.
Nonnengart, A., & Weidenbach, C. (2001). Computing small clause normal forms. In Handbook of automated reasoning (Vol. I, pp. 335–367). Cambridge: Elsevier Science and MIT Press.
Restall, G. (2000). An introduction to substructural logics. New York: Routledge.
Thomason, R. H. (1968). On the strong semantical completeness of the intuitionistic predicate calculus. Journal of Symbolic Logic, 33(1), 1–7.
Troelstra, A. S., & van Dalen, D. (1988). Constructivism in mathematics (Vol. 1). Amsterdam: Elsevier Science & Technology.
van Dalen, D. (1994). Logic and structure (3rd ed.). Berlin: Springer.
van Dalen, D. (2002). Intuitionistic logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 5, pp. 1–114). (2nd ed.). Dordrecht: Kluwer Academic Publishers.