20042020

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference Paper

Search results

  • 2020

    Strong normalization in core type theory

    Ripley, D., 2020, The Logica Yearbook 2019. Sedlár, I. & Blicha, M. (eds.). Rickmansworth UK: College Publishing, p. 111-130 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference PaperOtherpeer-review

  • 2016

    Comparing some substructural strategies dealing with vagueness

    Cobreros, P., Egré, P., Ripley, D. & van Rooij, R., 1 Jan 2016, Information Processing and Management of Uncertainty in Knowledge-Based Systems - 16th International Conference, IPMU 2016, Proceedings. Vieira, S., Carvalho, J. P., Lesot, M-J., Bouchon-Meunier, B., Kaymak, U. & Yager, R. R. (eds.). Springer-Verlag London Ltd., p. 161-172 12 p. (Communications in Computer and Information Science; vol. 611).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperOtherpeer-review

    1 Citation (Scopus)
  • 2015

    ‘Transitivity’ of consequence relations

    Ripley, D., 2015, Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings: Proceedings of LORI V. Wang, W-F., van der Hoek, W. & Holliday, W. H. (eds.). Springer, p. 328-340 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9394).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperOtherpeer-review

    2 Citations (Scopus)
  • 2011

    Contradictions at the borders

    Ripley, D., 8 Feb 2011, Vagueness in Communication - International Workshop, ViC 2009, Held as Part of ESSLLI 2009, Revised Selected Papers. Nouwen, R., van Rooij, R., Sauerland, U. & Schmitz, H-C. (eds.). Springer, p. 169-188 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6517 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    34 Citations (Scopus)