Tilburg School of Humanities

Communication, Culture, Philosophy, Religion and Liberal Arts and Sciences

Publication

Books, major publications

  1. Intuitionistic Logic in Intuitionistic meta-mathematics. Dissertation, Nijmegen, 1976.

  2. Sets: Naïve, Axiomatic and Applied. Translation and revision of "Verzamelingen". Pergamon Press, Oxford, 1978. (342 pp.)

  3. Filosofie van de Wiskunde.(Philosophy of Mathematics). Martinus Nijhoff, Leiden, 1989. (107 pp.)

  4. Verkiezingen, Agenda's en Manipulatie; een Inleiding tot de Sociale Keuze Theorie. (Elections, Agendas and Manipulation; an introduction to the Theory of Social Choice). Epsilon Uitgaven, Utrecht, 1992, 122 pp. Together with A. Storcken.

  5. Logic: Mathematics, Language, Computer Science and Philosophy. Volume I, Logic: Mathematics, Language and Philosophy. Verlag Peter Lang, Frankfurt, 1993, 577 pp.

  6. Logic: Mathematics, Language, Computer Science and Philosophy. Volume II: Logic and Computer Science. Verlag Peter Lang, Frankfurt, 1994, 326 pp. (With contributions by H. Geuvers and R.P. Nederpelt, J.-J.Ch. Meyer, W. Penczek and R. Kuiper, E.A. de Kogel and W.M.J. Ophelders)

  7. Perspectives on Negation (H.C.M. de Swart and L. Bergmans, eds.). Tilburg University Press, 1995, 220 pp.

  8. Automated Reasoning with Analytic Tableaux and Related Methods. Proceedings International Conference TABLEAUX 98, Oisterwijk, May 1998. Springer, Lecture Notes in Artificial Intelligence 1397, ISBN 3 540 64406 7, 1998, 325 pp.

  9. Logic, Game theory and Social choice. Proceedings of the international Conference in Oisterwijk, the Netherlands, May 13 - 16, 1999. Tilburg University Press, 589 pp.

  10. Verkiezingsmechanismen; een web van paradoxen. (Elections; a web of paradoxes). Zebra boekje. Epsilon Uitgaven Utrecht, 2000, 58 pp.

  11. Proceedings RelMiCS'6: Relational Methods in Computer Science. Springer Lecture Notes in Computer Science (LNCS), Volume 2561, pp. 317, December, 2002.

  12. Theory and Applications of Relational Structures as Knowledge Instruments. H.C.M. de Swart, e.a. (eds.) Springer Lecture Notes in Computer Science (LNCS) 2929, 2003, 275 pp. LNCS 2929 is available online or access the online version.

  13. TARSKI: Theory and Applications of Relational Structures as Knowledge Instruments II. H.C.M. de Swart, e.a. (eds.) Springer Lecture Notes in Computer Science (LNCS) 4342, 2006, 375 pp.

Top

Articles, major publications

  1. Elements of Intuitionistic Analysis; Rolle's theorem and complete, totally bounded, metric spaces. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 22, 1976, pp. 289-298.

  2. Elements of Intuitionistic Analysis; The Stone-Weierstrass Theorem and Ascoli's Theorem. Zeitschrift für mathematische Logik und Gründlagen der Mathematik, Bd. 22, 1976, pp. 501-508.

  3. Another Intuitionistic Completeness Proof. Journal of Symbolic Logic, vol. 41, 1976, pp. 644-662.

  4. An intuitionistically plausible interpretation of intuitionistic logic. Journal of Symbolic Logic, vol. 42, 1977, pp. 564-578.

  5. First steps in intuitionistic model theory. ournal of Symbolic Logic, vol. 43, 1978, pp. 3-12.

  6. Gentzen-type systems for C, K and several extensions of C and K; constructive completeness proofs and effective decision procedures for these systems. Logique et Analyse, 23e Année, 1980, pp. 263-284.

  7. The continuum hypothesis in intuitionism (together with W. Gielen and W. Veldman). Journal of Symbolic Logic, vol. 46, 1981, pp. 121-136.

  8. Validity and quantification in intuitionism (together with C.J. Posy). Journal of Philosophical Logic, vol. 10, 1981, pp. 117-126.

  9. A system of Natural Deduction, an Effective Decision Procedure and a Constructive Completeness Proof for the counterfactual Logics VC and VCS. Journal of Symbolic Logic, vol. 48, 1983, pp. 1-20.

  10. Gentzen-type or Beth-type Systems, Constructive completeness proofs and practical decision procedures (with special attention to relevance logic). In: G. Dorn and P. Weingartner (eds.), Foundations of Logic and Linguistics, New York, 1985, Plenum Press, pp. 89-122.

  11. Gerrit Mannoury and Dutch Significs. Special issue of Methodology and Science, edited by H.C.M. de Swart, with an introduction. Vol. 21-4-1988.

  12. Spreads or Choice Sequences? History and Philosophy of Logic , 13, 1992, pp. 203-213.

  13. Implication; a survey of the different logical analyses of "if ..., then ...". (Together with R.P. Nederpelt). Nieuw Archief voor Wiskunde, 1992, pp. 77-104.

  14. Tableaux versus Resolution; a comparison. (Together with W.M.J. Ophelders) Fundamenta Informaticae, Vol. 18, 1993, pp. 109-127.

  15. Towards an axiomatization of orderings. (Together with A. Storcken.) Order, Vol. 9, 1993, pp. 367-396.

  16. Tableaux, Resolution and Complexity of Formulas. (Together with W.M.J. Ophelders) Methods of Logic in Computer Science, Vol. 1, No 2, 1994 (accepted in 1991), pp. 241-260.

  17. Different Approaches to Knowledge, Common Knowledge and Aumann's Theorem. (Together with C.M. Rauszer.) In A. Laux and H. Wansing (eds.), Knowledge and Belief in Philosophy and Artificial Intelligence, Akademie Verlag, Berlin, 1995, pp.87-102.

  18. Quantified Modal Logic, Reference and Essentialism. (Together with M. Perrick.) Logique et Analyse 143-144 (1993), pp. 219 - 231 (appeared in 1996).

  19. An exercise in Relational Algebra: Reduction in Programming Languages. (Together with E.A. de Kogel.) In: E. Orlowska (ed.), Logic at Work; Essays dedicated to the memory of Helena Rasiowa. Springer, 1998, ISBN 3 7908 1164 5, pp. 411 - 428.

  20. Three types of redundancy in Integrity Checking; an optimal solution. (Together with R.R. Seljee.) Data and Knowledge Engineering, 30, 1999, pp. 135 - 151.

  21. Hintikka's The Principles of Mathematics Revisited. (Together with Tom Verhoeff and Renske Brands.) Logique et Analyse, 159, 1999, pp. 281 - 289.

  22. Implication with Possible Exceptions (Together with H. Jurjus), Journal of Symbolic Logic, vol. 66, 2001, pp. 517-535.

  23. Categoric and Ordinal Voting; an Overview (Together with A. van Deemen, E. vdr Hout, and P. Kop.) In: H.C.M. de Swart, e.a. (eds.) Theory and Applications of Relational Structures as Knowledge Instruments. Springer LNCS 2929, 2003, pp. 147 - 195.

  24. Cocktail: A Tool for Deriving Correct Programs (Together with Michael Franssen), Revista de la Real Academia de Ciencias, Serie A: Mathematicas, RACSAM 98, Special issue on Symbolic Computation in Logic and Artificial Intelligence, 2004, pp. 95-111.

  25. A new model of Coalition Formation (Together with Agnieszka Rusinowska and J.W. van der Rijt), Social Choice and Welfare, 24, 2005, 129-154.

  26. Using MACBETH to determine utilities of governments to parties in coalition formation (together with A. Rusinowska and M. Roubens), European Journal of Operational Research, Vol 172/2, 2006, 588-603

  27. Characteristic Properties of List PR Systems (Together with E. vdr Hout and A. ter Veer), Social Choice and Welfare, Vol 27, 2006, 459-475

  28. Review of F. Kamareddine, T. Laan and R. Nederpelt, A modern Perspective on Type Theory; From its Origins until Today. Journal of Logic, Language and Information, Vol 15, 2006, 297-302

  29. On some properties of the Hoede-Bakker index (Together with A. Rusinowska), Journal of Mathematical Sociology, to appear; JMS 5016.

  30. Consensus reaching in Committees (Together with A. Rusinowska), European Journal of Operational Research, Vol 178, 2007, 185-193

  31. Applying Relational Algebra and RelVieW to Coalition Formation (together with Rudolf Berghammer and Agnieszka Rusinowska), European Journal of Operational Research, Vol 178, 2007, 530-542

  32. Social Software for Coalition Formation (together with A. Rusinowska e.a.). In: H.C.M. de Swart e.a. (eds.), TARSKI: Theory and Applications of Relational Structures as Knowledge Instruments II., Springer Lecture Notes in Computer Science (LNCS) 4342, 2006, pp. 1-30

Top