For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.

Dr. A. (Lex) Hendriks

Faculty of Science

Visiting address
  • Science Park 105
  • Room number: F2.08
Postal address
  • Postbus 94242
    1090 GE Amsterdam
Contact details
  • Publications


    • 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. [details]


    • 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]



    • 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]


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


    • 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]


    • 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]


    • 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.
  • Ancillary activities
    No ancillary activities