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). Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb/The Design Society. https://www.designsociety.org/publication/29350/a_formal_account_of_the_dual_extension_of_knowledge_and_concept_in_c-k_design_theory [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

Hendriks, A. (2000). Doing logic by computer: interpolation in fragments of intuitionistic propositional logic. Annals of Pure and Applied Logic, 104, 97-112. https://doi.org/10.1016/S0168-0072(00)00009-9 [details]

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

contactgegevens bewerken bewerk profielinformatie

Dr. A. (Lex) Hendriks

2010

2003

2000

1996

2004

2001

1999

1996

Cookie Consent

Noodzakelijk

Noodzakelijk & Optimalisatie

Noodzakelijk & Optimalisatie & Marketing