-
de Jongh, D., van Ulsen, P. (1999) Beth's Nonclassical Valuations.Philosophiae Scientiae, Vol. 3 (pp 279-302)Article | UvA-DARE
-
de Jongh, D., Veltman, F., Verbrugge, R. (2004) Completeness by construction for tense logics of linear time.In A.S. Troelstra (Eds.), Vriendenboek ofwel Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh. Institute for Logic, Language and Computation.Chapter | UvA-DAREde Jongh, D., Veltman, F. (1999) Intensional logics.Unknown Publisher.Book | UvA-DAREde Jongh, D., Veltman, F. (1999) The modal completences of ILW.In Gerbrandy, J. Marx, M. de Rijke, M. Venema, Y. (Eds.), CD-ROM JFAK, Essays dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Vossiuspers AUP.Chapter | UvA-DAREde Jongh, D., Veltman, F. (1999) The Modal Completeness of ILW.Vossiuspers - Amsterdam University Press.Digital or Visual Products | UvA-DAREde Jongh, D., Verbrugge, R., Visser, A. (2009) Intermediate logics and the de Jongh property.In Cintula, P. Haniková, Z. Švejdar, V. (Eds.), Witnessed years: essays in honour of Petr Hájek (pp 33-52) (Tributes, Vol. 10). College Publications.de Jongh, D., Verbrugge, R., Visser, A. (2011) Intermediate Logics and the de Jongh property.Archive for Mathematical Logic, Vol. 50 (pp 197-213)Article | https://doi.org/10.1007/s00153-010-0209-4 | UvA-DAREde Jongh, D., Visser, A. (1996) Embeddings of Heyting algebras.In Hodges, W. Hyland, M. Steinhorn, C. Truss, J. (Eds.), Logic: from foundations to applications: European logic colloguium (pp 187-214). Clarendon Press.Chapter | UvA-DAREde Jongh, D., Visser, A.P. (1995) Embeddings of Heyting Algebras.Research Report. onbekend (FdL).Report | UvA-DAREde Jongh, D., Yang, F. (2011) Jankov's theorems for intermediate logics in the setting of universal models.In Bezhanishvili, N. Löbner, S. Schwabe, K. Spada, L. (Eds.), Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25 2009 : revised selected papers (pp 53-76) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 6618). Springer.Conference contribution | https://doi.org/10.1007/978-3-642-22303-7_5 | UvA-DAREde Jongh, D., Zhao, Z. (2015) Positive Formulas in Intuitionistic and Minimal Logic.In Aher, M. Hole, D. Jeřábek, E. Kupke, C. (Eds.), Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013: revised selected papers (pp 175-189) (Lecture Notes in Computer Science, Vol. 8984). Springer.Conference contribution | https://doi.org/10.1007/978-3-662-46906-4_11 | UvA-DAREde Jongh, D. (1998) The logic of the provability.In Buss, S. (Eds.), Handbook of proof theory (pp 475-546) (-). North- Holland Elsevier.Chapter | UvA-DAREde Jongh, D. (1998) Solution of a problem of David Guaspari.In Orlowska, E. (Eds.), Logic at work: Essays dedicated to the memory of Helena Rasiowa (pp 246-254) (-). Physica- verlag Springer.Chapter | UvA-DAREde Jongh, D. (2000) Learning and Grammar.In Quesada, J.F. Salguero, F.J. Nepomuceno, A. (Eds.), Logic, Language and Information, Proceedings of the First Workshop on Logica and Language (pp 139-146). Editorial Kronos.Conference contribution | UvA-DAREde Jongh, D. (2001) Intuicionismo.In Murcho, Desidério Branquinho, Joao (Eds.), Enciclopedia de Termos Lógico-Filosóficos (pp 413-417)Chapter | UvA-DAREde Jongh, D. (2004) Volledigheid en Onvolledigheid.Technical Reports. Institute for Logic, Language and Computation.Working paper | UvA-DAREde Jongh, D. (2007) The Incompleteness Theorems, their content and their meaning.Zhexue Dongtai, Vol. 2006 (pp 47-55)Article | UvA-DAREde Jongh, D. (2007) Intuicionismo.Azafea, Vol. 8 (pp 53-69)Article | UvA-DAREde Jongh, D. (2024) Notes on My Scientific Life.In Bezhanishvili, N. Iemhoff, R. Yang, F. (Eds.), Dick de Jongh on Intuitionistic and Provability Logics (pp 1-31) (Outstanding Contributions to Logic, Vol. 28). Springer.Chapter | https://doi.org/10.1007/978-3-031-47921-2_1 | UvA-DAREde Keijzer, B., Apt, K.R. (2013) The H-index can be Easily Manipulated.Bulletin of the European Association for Theoretical Computer Science, Vol. 110 (pp 79-85)The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact illc at uva.nl