D.H.J. de Jongh

Well-partial orderings and hierarchies

D.H.J. de Jongh, Rohit Parikh · Indagationes Mathematicae (Proceedings) · 1977 · 131 citations

Natural Sciences, Computer Science, Set Theory +5

A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property

Michael Gabbay, D.H.J. de Jongh · Journal of Symbolic Logic · 1974 · 74 citations

Humanities, Mathematics, Logic +13

Characterization of strongly equivalent logic programs in intermediate logics

D.H.J. de Jongh, Lex Hendriks · Theory and Practice of Logic Programming · 2003 · 43 citations

Humanities, Computer Science, Mathematics +17

A simplification of a completeness proof of Guaspari and Solovay

D.H.J. de Jongh · Studia Logica · 1987 · 19 citations

Computing, Computer Science, Mathematics +4

Intuitionistic implication without disjunction

Gerard R. Renardel de Lavalette, A. Hendriks, D.H.J. de Jongh · Journal of Logic and Computation · 2010 · 17 citations · Full text

Humanities, Mathematics, Logic +5