Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 11
Number of items: 11
  • 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
  • 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
  • Hendriks, A. (2004). Explorations and Computations in bidirectional intuitionistic propositional Logic. In Liber Amicorum voor Dick de Jongh Amsterdam University Press.
  • 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.
  • Hendriks, A., & de Jongh, D. H. J. (2001). Characterization of strongly equivalent logic programs in intermediate logics. (PP series ILLC; No. PP-2001-09). Institute for Logic Language and Computation.
  • Hendriks, A. (2001). Explorations in extensions of intuitionistic propositional logic. In M. de Rijke, & e.a. (Eds.), Workshop Proceedings Methods for Modalities 2 Amsterdam University Press.
  • 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
  • Hendriks, A. (1999). System Description: Akka, A workbench for Mathematical Logic. In M. de Rijke (Ed.), M4M. Methods for Modalities 1 ILLC.
  • Hendriks, A. (1999). Effective Logic Computation, Klaus Truemper [Review of: (1999) Effective Logic Computation]. Journal of Logic, Language and Information, 8(4).
  • 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). Marcel Dekker, Inc..
Page 1 of 2