Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
Je gebruikt een niet-ondersteunde browser. Deze site kan er anders uitzien dan je verwacht.

Dr. A. (Lex) Hendriks

Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC

Bezoekadres
  • Science Park 105
  • Kamernummer: F2.08
Postadres
  • Postbus 94242
    1090 GE Amsterdam
Contactgegevens
  • Publicaties

    2010

    • Hendriks, L., & Kazakci, A. O. (2010). A formal account of the dual extension of knowledge and concept in C-K design theory. In D. Marjanović, M. Štorga, N. Pavković, & N. Bojčetić (Eds.), 11th International Design Conference DESIGN 2010: Dubrovnik - Croatia, May 17 - 20, 2010. Proceedings (Vol. 1, pp. 49-58). Zagreb/Glasgow: Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb/The Design Society. [details]
    • Renardel de Lavalette, G. R., Hendriks, A., & de Jongh, D. H. J. (2010). Intuitionistic implication without disjunction. Journal of Logic and Computation, 22(3), 375-404. https://doi.org/10.1093/logcom/exq058 [details]

    2003

    • de Jongh, D. H. J., & Hendriks, A. (2003). Characterization of strongly equivalent logic programs in intermediate logics. Theory and Practice of Logic Programming, (3), 259-270. [details]

    2000

    1996

    • Hendriks, A., & de Jongh, D. H. J. (1996). Finitely generated Magari algebras and arithmetic. In P. Agliano, & A. Ursini (Eds.), Logic and algebra (pp. 137-160). New York, Basel, Hong Kong: Marcel Dekker, Inc.. [details]

    2004

    • Hendriks, A. (2004). Explorations and Computations in bidirectional intuitionistic propositional Logic. In Liber Amicorum voor Dick de Jongh Amsterdam: Amsterdam University Press. [details]

    2001

    • Hendriks, A. (2001). Explorations in extensions of intuitionistic propositional logic. In M. de Rijke, & e.a. (Eds.), Workshop Proceedings Methods for Modalities 2 Amsterdam: Amsterdam University Press. [details]

    1999

    • Hendriks, A. (1999). Effective Logic Computation, Klaus Truemper [Review of: (1999) Effective Logic Computation]. Journal of Logic, Language and Information, 8(4). [details]
    • Hendriks, A. (1999). System Description: Akka, A workbench for Mathematical Logic. In M. de Rijke (Ed.), M4M. Methods for Modalities 1 Amsterdam: ILLC. [details]

    1996

    • Hendriks, A. (1996). Computations in Propositional Logic. [details]
    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Nevenwerkzaamheden
    Geen nevenwerkzaamheden bekend