Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 78
Number of items: 78
  • de Jongh, D. H. J. (1998). Solution of a problem of David Guaspari. In E. Orlowska (Ed.), Logic at work: Essays dedicated to the memory of Helena Rasiowa (pp. 246-254). (-; No. -). Physica- verlag Springer.
  • Rakic, N. (1997). Common sense time and special relativity. [Thesis, fully internal, Universiteit van Amsterdam]. ILLC.
  • Osherson, D., de Jongh, D. H. J., Martin, E. L., & Weinstein, S. (1997). Formal learning theory. In A. ter Meulen, & J. F. A. K. van Benthem (Eds.), Handbook of Logic and Language (pp. 737-775). Elsevier Science Publishers B.V..
  • 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..
  • de Jongh, D. H. J., & Kanazawa, M. (1996). Angluin's theorem for indexed families of r.e. sets and applications. In Proceedings of the ninth annual conference on computational learning theory (pp. 193-204). The Association for Computing Machinery.
  • de Jongh, D., & Visser, A. (1996). Embeddings of Heyting algebras. In W. Hodges, M. Hyland, C. Steinhorn, & J. Truss (Eds.), Logic: from foundations to applications: European logic colloguium (pp. 187-214). Clarendon Press.
  • Hendriks, A. (1996). Computations in Propositional Logic. [Thesis, fully internal, Universiteit van Amsterdam].
  • Visser, A. P., van Benthem, J. F. A. K., de Jongh, D. H. J., & Renardel de Lavalette, G. (1995). NNIL, a study in intuitionistic propositional logic. In M. de Rijke, A. Ponse, & Y. Venema (Eds.), Modal Logic and process Algebra, a bisimulation perspective (pp. 289-326). Center for the Study of Language and Information.
  • Visser, A., van Benthem, J., de Jongh, D., & Renardel de Lavalette, G. R. (1995). NNIL, A Study in Intuitionistic Propositional Logic. In A. Ponse, M. de Rijke, & Y. Venema (Eds.), Modal Logic and Process Algebra: a bisimulation perspective (pp. 289-326). Center for the Study of Language and Information, Stanford University.
  • Open Access
    de Jongh, D. H. J., & Chagrova, L. (1995). The decidability of dependency in intuitionistic propositional logic. Journal of Symbolic Logic, 60(2), 498-504. https://doi.org/10.2307/2275844
Page 7 of 8