Searchable List of Research Output | Institute for Logic, Language and Computation

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-DARE
de 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-DARE
de Jongh, D., Visser, A.P. (1995) Embeddings of Heyting Algebras.

Research Report. onbekend (FdL).

Report | UvA-DARE
de 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-DARE
de 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-DARE
de Jongh, D. (1998) The logic of the provability.

In Buss, S. (Eds.), Handbook of proof theory (pp 475-546) (-). North- Holland Elsevier.

Chapter | UvA-DARE
de 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-DARE
de 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-DARE
de Jongh, D. (2001) Intuicionismo.

In Murcho, Desidério Branquinho, Joao (Eds.), Enciclopedia de Termos Lógico-Filosóficos (pp 413-417)

Chapter | UvA-DARE
de Jongh, D. (2004) Volledigheid en Onvolledigheid.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE
de Jongh, D. (2007) Intuicionismo.

Azafea, Vol. 8 (pp 53-69)

Article | UvA-DARE
de Jongh, D. (2007) The Incompleteness Theorems, their content and their meaning.

Zhexue Dongtai, Vol. 2006 (pp 47-55)

Article | UvA-DARE
de 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-DARE
de 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)

Article | http://www.eatcs.org/beatcs/index.php/beatcs/article/view/38/34 | UvA-DARE
de Keulenaar, E.V., Tuters, M., Kisjes, I., von Beelen, K. (2019) On Altpedias: partisan epistemics in the encyclopaedias of alternative facts.

Artnodes : e-journal on art, science and technology, Vol. 24 (pp 22-33)

Article | https://doi.org/10.7238/a.v0i24.3300 | UvA-DARE
de Marchena, Ashley, Cuneo, Nicole, Gurbuz, Emine, Brown, Maci, Trujillo, James P., Bergstrom, Jennifer (2025) Communication in Autistic Adults: An Action-Focused Review.

Current psychiatry reports, Vol. 27 (pp 471-481)

Review article | https://doi.org/10.1007/s11920-025-01616-6 | UvA-DARE
de Nivelle, H., de Rijke, M. (2003) Deciding the guarded fragments by resolution.

Journal of Symbolic Computation

Article | UvA-DARE
de Nivelle, H. (1997) A classification of non-liftable orders for resolution.

In McCune, W. (Eds.), Conference on Automated Deduction 14 (pp 336-350). Springer Verlag.

Chapter | UvA-DARE
de Nivelle, J.M.G.G., Areces, C.E. (1999) Prefixed resolution.

Technical Report ILLC. vg logic/info (oud WINS).

Report | UvA-DARE
de Nivelle, J.M.G.G., de Rijke, M. (2000) The Boyer-Moore theorem prover.

In Hazewinkel, M. (Eds.), Encyclopedia of Mathematics, Supplement II (pp 83-84). Kluwer.

Chapter | UvA-DARE

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