×

zbMATH — the first resource for mathematics

de Jongh, Dick H. J.

Compute Distance To:
Author ID: de-jongh.dick-h-j Recent zbMATH articles by "de Jongh, Dick H. J."
Published as: De Jongh, Dick; de Jongh, D. H. J.; de Jongh, Dick; de Jongh, Dick H. J.
External Links: MGP · Wikidata · GND
Member of Collective: L. T. F. Gamut
Documents Indexed: 48 Publications since 1966, including 2 Books

Publications by Year

Citations contained in zbMATH

39 Publications have been cited 260 times in 208 Documents Cited by Year
Well-partial orderings and hierarchies. Zbl 0435.06004
de Jongh, D. H. J.; Parikh, Rohit
38
1977
A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property. Zbl 0289.02032
Gabbay, D. M.; de Jongh, D. H. J.
32
1974
The logic of provability. Zbl 0915.03019
Japaridze, Giorgi; de Jongh, Dick
24
1998
On the connection of partially ordered sets with some Pseudo-Boolean algebras. Zbl 0137.02203
de Jongh, D. H. J.; Troelstra, A. S.
22
1966
Provability logics for relative interpretability. Zbl 0794.03026
de Jongh, Dick; Veltman, Frank
16
1990
Characterization of strongly equivalent logic programs in intermediate logics. Zbl 1069.68538
de Jongh, Dick H. J.; Hendriks, Lex
10
2003
On the proof of Solovay’s theorem. Zbl 0744.03057
de Jongh, Dick; Jumelet, Marc; Montagna, Franco
10
1991
Essay on I-valuations. Zbl 0213.01201
de Jongh, D. H. J.
8
1968
Extendible formulas in two variables in intuitionistic logic. Zbl 1256.03019
Bezhanishvili, Nick; de Jongh, Dick
6
2012
Intuitionistic implication without disjunction. Zbl 1258.03014
Renardel de Lavalette, Gerard R.; Hendriks, Alex; de Jongh, Dick H. J.
6
2012
A simplification of a completeness proof of Guaspari and Solovay. Zbl 0638.03018
de Jongh, Dick H. J.
6
1987
Unifiability in extensions of K4. Zbl 1170.03009
Gencer, Çiǧdem; de Jongh, Dick
5
2009
Embeddings of Heyting algebras. Zbl 0857.03041
de Jongh, Dick; Visser, Albert
5
1996
The decidability of dependency in intuitionistic propositional logic. Zbl 0836.03010
de Jongh, Dick; Chagrova, L. A.
5
1995
Provable fixed points. Zbl 0661.03009
de Jongh, Dick; Montagna, Franco
5
1988
A class of intuitionistic connectives. Zbl 0479.03015
de Jongh, Dick H. J.
5
1980
Kripke models and the intuitionistic theory of species. Zbl 0317.02037
de Jongh, D. H. J.; Smorynski, C.
5
1976
The Kuznetsov-Gerčiu and Rieger-Nishimura logics. The boundaries of the finite model property. Zbl 1173.03028
Bezhanishvili, Guram; Bezhanishvili, Nick; de Jongh, Dick
4
2008
Computations in fragments of intuitionistic propositional logic. Zbl 0743.03007
De Jongh, Dick; Hendriks, Lex; Renardel de Lavalette, Gerard R.
4
1991
Formulas of one propositional variable in intuitionistic arithmetic. Zbl 0547.03037
de Jongh, Dick H. J.
4
1982
Stable formulas in intuitionistic logic. Zbl 06939322
Bezhanishvili, Nick; de Jongh, Dick
3
2018
Subminimal negation. Zbl 1396.03009
Colacito, Almudena; de Jongh, Dick; Vargas, Ana Lucia
3
2017
Positive formulas in intuitionistic and minimal logic. Zbl 1326.03018
de Jongh, Dick; Zhao, Zhiguang
3
2015
Logic and learning. Zbl 1354.03015
Gierasimczuk, Nina; Hendricks, Vincent F.; de Jongh, Dick
3
2014
Intermediate logics and the de Jongh property. Zbl 1233.03033
de Jongh, Dick; Verbrugge, Rineke; Visser, Albert
3
2011
Solution of a problem of David Guaspari. Zbl 0923.03025
de Jongh, Dick; Pianigiani, Duccio
3
1999
Explicit fixed points in interpretability logic. Zbl 0744.03020
de Jongh, Dick; Visser, Albert
3
1991
A characterization of the intuitionistic propositional calculus. Zbl 0225.02020
de Jongh, D. H. J.
3
1970
Comparing strengths of beliefs explicitly. Zbl 1272.03085
Ghosh, Sujata; de Jongh, Dick
2
2013
Jankov’s theorems for intermediate logics in the setting of universal models. Zbl 1341.03036
de Jongh, Dick; Yang, Fan
2
2011
Interpolation, definability and fixed points in interpretability logics. Zbl 1001.03054
Abreces, Carlos; Hoogland, Eva; de Jongh, Dick
2
2001
Much shorter proofs. Zbl 0688.03040
de Jongh, Dick; Montagna, Franco
2
1989
Generic generalized Rosser fixed points. Zbl 0638.03019
de Jongh, Dick H. J.; Montagna, Franco
2
1987
Subintuitionistic logics and the implications they prove. Zbl 1437.03044
de Jongh, Dick; Shirmohammadzadeh Maleki, Fatemeh
1
2018
Interpretability in PRA. Zbl 1184.03011
Bílková, Marta; de Jongh, Dick; Joosten, Joost J.
1
2009
Properties of intuitionistic provability and preservativity logics. Zbl 1120.03044
Iemhoff, Rosalie; de Jongh, Dick; Zhou, Chunlai
1
2005
Finitely generated Magari algebras and arithmetic. Zbl 0865.03053
Hendriks, Lex; de Jongh, Dick
1
1996
Rosser orderings and free variables. Zbl 0744.03058
de Jongh, Dick; Montagna, Franco
1
1991
Kripke models and the theory of species. Zbl 0299.02037
de Jongh, D. H. J.; Smorynski, C.
1
1974
Stable formulas in intuitionistic logic. Zbl 06939322
Bezhanishvili, Nick; de Jongh, Dick
3
2018
Subintuitionistic logics and the implications they prove. Zbl 1437.03044
de Jongh, Dick; Shirmohammadzadeh Maleki, Fatemeh
1
2018
Subminimal negation. Zbl 1396.03009
Colacito, Almudena; de Jongh, Dick; Vargas, Ana Lucia
3
2017
Positive formulas in intuitionistic and minimal logic. Zbl 1326.03018
de Jongh, Dick; Zhao, Zhiguang
3
2015
Logic and learning. Zbl 1354.03015
Gierasimczuk, Nina; Hendricks, Vincent F.; de Jongh, Dick
3
2014
Comparing strengths of beliefs explicitly. Zbl 1272.03085
Ghosh, Sujata; de Jongh, Dick
2
2013
Extendible formulas in two variables in intuitionistic logic. Zbl 1256.03019
Bezhanishvili, Nick; de Jongh, Dick
6
2012
Intuitionistic implication without disjunction. Zbl 1258.03014
Renardel de Lavalette, Gerard R.; Hendriks, Alex; de Jongh, Dick H. J.
6
2012
Intermediate logics and the de Jongh property. Zbl 1233.03033
de Jongh, Dick; Verbrugge, Rineke; Visser, Albert
3
2011
Jankov’s theorems for intermediate logics in the setting of universal models. Zbl 1341.03036
de Jongh, Dick; Yang, Fan
2
2011
Unifiability in extensions of K4. Zbl 1170.03009
Gencer, Çiǧdem; de Jongh, Dick
5
2009
Interpretability in PRA. Zbl 1184.03011
Bílková, Marta; de Jongh, Dick; Joosten, Joost J.
1
2009
The Kuznetsov-Gerčiu and Rieger-Nishimura logics. The boundaries of the finite model property. Zbl 1173.03028
Bezhanishvili, Guram; Bezhanishvili, Nick; de Jongh, Dick
4
2008
Properties of intuitionistic provability and preservativity logics. Zbl 1120.03044
Iemhoff, Rosalie; de Jongh, Dick; Zhou, Chunlai
1
2005
Characterization of strongly equivalent logic programs in intermediate logics. Zbl 1069.68538
de Jongh, Dick H. J.; Hendriks, Lex
10
2003
Interpolation, definability and fixed points in interpretability logics. Zbl 1001.03054
Abreces, Carlos; Hoogland, Eva; de Jongh, Dick
2
2001
Solution of a problem of David Guaspari. Zbl 0923.03025
de Jongh, Dick; Pianigiani, Duccio
3
1999
The logic of provability. Zbl 0915.03019
Japaridze, Giorgi; de Jongh, Dick
24
1998
Embeddings of Heyting algebras. Zbl 0857.03041
de Jongh, Dick; Visser, Albert
5
1996
Finitely generated Magari algebras and arithmetic. Zbl 0865.03053
Hendriks, Lex; de Jongh, Dick
1
1996
The decidability of dependency in intuitionistic propositional logic. Zbl 0836.03010
de Jongh, Dick; Chagrova, L. A.
5
1995
On the proof of Solovay’s theorem. Zbl 0744.03057
de Jongh, Dick; Jumelet, Marc; Montagna, Franco
10
1991
Computations in fragments of intuitionistic propositional logic. Zbl 0743.03007
De Jongh, Dick; Hendriks, Lex; Renardel de Lavalette, Gerard R.
4
1991
Explicit fixed points in interpretability logic. Zbl 0744.03020
de Jongh, Dick; Visser, Albert
3
1991
Rosser orderings and free variables. Zbl 0744.03058
de Jongh, Dick; Montagna, Franco
1
1991
Provability logics for relative interpretability. Zbl 0794.03026
de Jongh, Dick; Veltman, Frank
16
1990
Much shorter proofs. Zbl 0688.03040
de Jongh, Dick; Montagna, Franco
2
1989
Provable fixed points. Zbl 0661.03009
de Jongh, Dick; Montagna, Franco
5
1988
A simplification of a completeness proof of Guaspari and Solovay. Zbl 0638.03018
de Jongh, Dick H. J.
6
1987
Generic generalized Rosser fixed points. Zbl 0638.03019
de Jongh, Dick H. J.; Montagna, Franco
2
1987
Formulas of one propositional variable in intuitionistic arithmetic. Zbl 0547.03037
de Jongh, Dick H. J.
4
1982
A class of intuitionistic connectives. Zbl 0479.03015
de Jongh, Dick H. J.
5
1980
Well-partial orderings and hierarchies. Zbl 0435.06004
de Jongh, D. H. J.; Parikh, Rohit
38
1977
Kripke models and the intuitionistic theory of species. Zbl 0317.02037
de Jongh, D. H. J.; Smorynski, C.
5
1976
A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property. Zbl 0289.02032
Gabbay, D. M.; de Jongh, D. H. J.
32
1974
Kripke models and the theory of species. Zbl 0299.02037
de Jongh, D. H. J.; Smorynski, C.
1
1974
A characterization of the intuitionistic propositional calculus. Zbl 0225.02020
de Jongh, D. H. J.
3
1970
Essay on I-valuations. Zbl 0213.01201
de Jongh, D. H. J.
8
1968
On the connection of partially ordered sets with some Pseudo-Boolean algebras. Zbl 0137.02203
de Jongh, D. H. J.; Troelstra, A. S.
22
1966
all top 5

Cited by 196 Authors

14 Visser, Albert
11 de Jongh, Dick H. J.
9 Montagna, Franco
6 Citkin, Alex
6 Iemhoff, Rosalie
6 Joosten, Joost J.
5 Goudsmit, Jeroen P.
5 Miglioli, Pierangelo
4 Marcone, Alberto
4 Rathjen, Michael
4 Weiermann, Andreas
4 Woltran, Stefan
3 Altman, Harry J.
3 Balbiani, Philippe
3 Beklemishev, Lev D.
3 Bezhanishvili, Nick
3 Dzhaparidze, Giorgie
3 Ferrari, Mauro
3 Gencer, Çigdem
3 Gierasimczuk, Nina
3 Humberstone, Lloyd
3 Japaridze, Giorgi
3 Montalbán, Antonio
3 Ono, Hiroakira
3 Pearce, David G.
3 Pouzet, Maurice
3 Rasga, João
3 Rybakov, Vladimir Vladimirovich
3 Schnoebelen, Philippe
3 Sernadas, Cristina S.
3 Truszczyński, Mirosław
3 Van der Meeren, Jeroen
3 Zakharyaschev, Michael Viktorovich
2 Ardeshir, Mohammad
2 Bílková, Marta
2 Boolos, George S.
2 Chagrov, Aleksandr Vasil’evich
2 Docherty, Simon
2 Drugush, Ya. M.
2 Dziobiak, Wiesław
2 Hájek, Petr
2 Hendriks, Lex
2 Knight, Julia F.
2 Kříž, Igor
2 Lange, Karen
2 Muravitsky, Alexei Yu.
2 Oner, Tahsin
2 Pym, David J.
2 Schmidt, Diana
2 Schmitz, Sylvain
2 Sernadas, Amilcar C.
2 Shore, Richard A.
2 Simpson, Stephen G.
2 Słomczyńska, Katarzyna
2 Sommaruga, Giovanni
2 Thomas, Robin
2 Tropin, M. P.
2 Valverde, Agustín
2 van Dalen, Dirk
2 Verbrugge, Rineke
2 Vuković, Mladen
1 Akama, Yohji
1 Alizadeh, Majid
1 Arrazola Ramírez, José Ramón Enrique
1 Assous, Roland
1 Avellone, Alessandro
1 Baaz, Matthias
1 Baltag, Alexandru
1 Bellissima, Fabio
1 Berarducci, Alessandro
1 Bergstra, Jan A.
1 Bertrand, Nathalie
1 Bezhanishvili, Guram
1 Bibak, Ali
1 Bittar, E. Tahhan
1 Blanck, Rasmus
1 Blumensath, Achim
1 Bochman, Alexander
1 Bolander, Thomas
1 Bou, Félix
1 Buss, Samuel R.
1 Čačić, Vedran
1 Caleiro, Carlos
1 Carballido, José Luis
1 Chakir, Ilham
1 Cichon, E. A.
1 Colacito, Almudena
1 Coregliano, Leonardo Nagami
1 Darnière, Luck
1 de Rijke, Maarten
1 Diener, Hannes
1 Džamonja, Mirna
1 Enayat, Ali
1 Espíndola, Christian
1 Fairtlough, Matt
1 Fernández Duque, David
1 Flaminio, Tommaso
1 Freyd, Peter J.
1 Friedman, Harvey M.
1 Friend, Michèle
...and 96 more Authors
all top 5

Cited in 46 Serials

31 Annals of Pure and Applied Logic
30 Studia Logica
18 Archive for Mathematical Logic
11 The Journal of Symbolic Logic
10 Notre Dame Journal of Formal Logic
7 Algebra and Logic
6 The Review of Symbolic Logic
5 Journal of Philosophical Logic
5 Theoretical Computer Science
4 Algebra Universalis
4 Publications of the Research Institute for Mathematical Sciences, Kyoto University
4 Information and Computation
4 Mathematical Logic Quarterly (MLQ)
4 Journal of Applied Logic
4 Logica Universalis
2 Discrete Mathematics
2 Mathematical Notes
2 Russian Mathematical Surveys
2 Journal of Combinatorial Theory. Series A
2 Indagationes Mathematicae. New Series
2 Journal of Applied Non-Classical Logics
2 Annals of Mathematics and Artificial Intelligence
2 Theory and Practice of Logic Programming
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Fuzzy Sets and Systems
1 Journal of Computer and System Sciences
1 Michigan Mathematical Journal
1 Semigroup Forum
1 Transactions of the American Mathematical Society
1 Order
1 Graphs and Combinatorics
1 Journal of Automated Reasoning
1 Computational Complexity
1 Formal Methods in System Design
1 Journal of Logic, Language and Information
1 Selecta Mathematica. New Series
1 The Bulletin of Symbolic Logic
1 Soft Computing
1 Annales Mathematicae Silesianae
1 Integers
1 Logic and Logical Philosophy
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Contributions to Discrete Mathematics
1 Logical Methods in Computer Science
1 Axioms
1 ACM Transactions on Computation Theory

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.