Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 21
Number of items: 21
  • Open Access
    Uckelman, S. L., Maat, J., & Rybalko, K. (2018). The Art of Doubting in Obligationes Parisienses. In C. Kann, B. Loewe, C. Rode, & S. L. Uckelman (Eds.), Modern views of medieval logic (pp. 11-27). (Recherches de theologie et philosophie medievales. Bibliotheca; Vol. 16). Peeters.
  • Open Access
    Uckelman, S. L. (2012). Arthur Prior and medieval logic. Synthese, 188(3), 349-366. https://doi.org/10.1007/s11229-011-9943-3
  • Alama, J., Knoks, A., & Uckelman, S. L. (2011). Dialogue games for classical logic. In M. Giese, & R. Kuznets (Eds.), TABLEAUX 2011: Workshops, Tutorials, and Short Papers (pp. 82-86). Universität Bern. http://www.tableaux11.unibe.ch/uploads/Site/proceedings.pdf
  • Uckelman, S. L. (2011). The ontological argument. In M. Bruce, & S. Barbone (Eds.), Just the arguments: 100 of the most important arguments in western philosophy (pp. 25-27). Wiley-Blackwell. https://doi.org/10.1002/9781444344431.ch4
  • Uckelman, S. L. (2011). [Review of: M.J. Fitzgerald (2010) Albert of Saxony. Quaestiones circa logicam (twenty-five disputed questions on logic): introducation, translation, and notes]. Speculum, 86(3), 719-720. https://doi.org/10.1017/S0038713411001564
  • Uckelman, S. L. (2011). Obligationes as Formal Dialogue Systems. In T. Ågotnes (Ed.), STAIRS 2010: proceedings of the Fifth Starting AI Researchers' Symposium (pp. 341-353). (Frontiers in Artificial Intelligence and Applications; Vol. 222). IOS Press. https://doi.org/10.3233/978-1-60750-676-8-341
  • Open Access
    Uckelman, S. L. (2011). Prior on an insolubilium of Jean Buridan. Synthese, 188(3), 487-498. https://doi.org/10.1007/s11229-011-9940-6
  • Uckelman, S. L. (2010). Reasoning about the trinity: A modern formalization of a medieval system of trinitarian logic. In A. Schumann (Ed.), Logic in religious discourse (pp. 216-239). ontos verlag. http://staff.science.uva.nl/~suckelma/latex/slgr/slgr-uckelman2.pdf
  • Uckelman, S. L. (2010). Computing with concepts, computing with numbers: Llull, Leibniz, and Boole. In F. Ferreira, B. Löwe, E. Mayordomo, & L. Mendes Gomes (Eds.), Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010: Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings (pp. 427-437). (Lecture Notes in Computer Science; Vol. 6158). Springer. https://doi.org/10.1007/978-3-642-13962-8_47
  • Uckelman, S. L., & Johnston, S. (2010). A simple semantics for Aristotelian apodeictic syllogistics. In L. Beklemishev, V. Goranko, & V. Shehtman (Eds.), Advances in Modal Logic: AiML 8 (pp. 454-469). College Publications. http://www.aiml.net/volumes/volume8/Uckelman-Johnston.pdf
Page 1 of 3