uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Hendriks, A. (1996) Computations in Propositional Logic.
    Thesis, fully internal | UvA-DARE
  • Hendriks, A. (1999) System Description: Akka, A workbench for Mathematical Logic.
    In de Rijke, M. (Eds.), M4M. Methods for Modalities 1. ILLC.
    Chapter | UvA-DARE
  • Hendriks, A. (1999) Effective Logic Computation, Klaus Truemper [Review of: (1999) Effective Logic Computation].
    Journal of Logic, Language and Information, Vol. 8
    Book/Film/Article/Exhibition review | UvA-DARE
  • Hendriks, A. (2000) Doing logic by computer: interpolation in fragments of intuitionistic propositional logic.
    Annals of Pure and Applied Logic, Vol. 104 (pp 97-112)
  • Hendriks, A. (2001) Explorations in extensions of intuitionistic propositional logic.
    In de Rijke, M. e.a. (Eds.), Workshop Proceedings Methods for Modalities 2. Amsterdam University Press.
    Conference contribution | UvA-DARE
  • Hendriks, A. (2004) Explorations and Computations in bidirectional intuitionistic propositional Logic.
    In Liber Amicorum voor Dick de Jongh. Amsterdam University Press.
    Conference contribution | UvA-DARE
  • Hendriks, H.L.W. (1993) Studied flexibility : categories and types in syntax and semantics.
    Institute for Logic, Language and Computation.
    Thesis, fully internal | UvA-DARE
  • Hendriks, H.L.W. (1999) Contour and Structure. A Categorial Account of Alignment.
    In Kruijff, G.--J. Bouma, G. Hinrichs, E. Oehrle, R. (Eds.), Constraints and Resources in Natural Syntax and Semantics (pp 155-174). CSLI Publications.
    Chapter | UvA-DARE
  • Hendriks, H.L.W. (1999) Encoding Atomic Categories: Rendering It Strictly Directed.
    In Gerbrandy, J. Marx, M. de Rijke, M. Venema, Y. (Eds.), CD-ROM JFAK, Essays dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Vossiuspers AUP.
    Chapter | UvA-DARE
  • Hendriks, H.L.W. (1999) Indirect Speech Acts. Politeness and the Civilizing Process.
    In van Kuppevelt, J. van Leusen, N. van Rooy, R. Zeevat, H. (Eds.), Proceedings of Amstellogue '99 (pp 53-57). ILLC.
    Conference contribution | UvA-DARE
  • Hendriks, H.L.W. (1999) The Logic of Tune. A Proof-Theoretic Analysis of Intonation.
    In Lecomte, A. (Eds.), LACL 97. Logical Aspects of Cumputational Linguistics (pp 132-159) (LNCS-LNAI Series). Springer Verlag.
    Chapter | UvA-DARE
  • Hendriks, H.L.W. (2000) Compositionality and Model-Theoretic Interpretation.
    Journal of Logic, Language and Information, Vol. 9 (pp 419-438)
    Article | UvA-DARE
  • Hendriks, H.L.W. (2001) Compositionality and model-theoretic interpretation.
    Journal of Logic, Language and Information, Vol. 10 (pp 29-48)
    Article | UvA-DARE
  • Hendriks, H.L.W. (2001) Information packaging: From cards to boxes.
    In Hamm, F. Zimmermann, Th.E. (Eds.), Linguistische Berichte Sonderheft 10: Semantics (pp 165-189). Helmut Buske Verlag.
    Chapter | UvA-DARE
  • Hendriks, H.L.W. (2002) Links Without Locations. Information Packaging: From Cards to Boxes.
    Linguistische Berichte. Sonderheft, Vol. 10 (pp 173-188)
    Article | UvA-DARE
  • Hendriks, H.L.W. (2002) Information packaging: From cards to boxes.
    In van Deemter, K. Kibble, R. (Eds.), Information Sharing. Reference and Presupposition in Language Generation and Interpretation (pp 1-34). CSLI Publications.
    Conference contribution | UvA-DARE
  • Hendriks, L. (1995) Exact models and computations in propositional logic.
    In Trautwein, M. Fischer, S. (Eds.), Accolade '95 (pp 59-73)
    Chapter | UvA-DARE
  • Hengeveld, K., Iatridou, S., Roelofsen, F. (2023) Quexistentials and Focus.
    Linguistic Inquiry, Vol. 54 (pp 571-624)
  • Henk, P., Visser, A. (2017) Interpretability suprema in Peano Arithmetic.
    Archive for Mathematical Logic, Vol. 56 (pp 555-584)
  • Henk, P. (2016) Nonstandard provability for Peano Arithmetic: A modal perspective.
    Thesis, fully internal | UvA-DARE
1 ... 128 129 130 131 132 133 134 135 136 ... 308

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact