Dick De Jongh

Publication Activity (10 Years)

Years Active: 1974-2017
Publications (10 Years): 1

Top Topics

Expressive Power

Propositional Calculus

Inference Rules

Top Venues

Publications

Fatemeh Shirmohammadzadeh Maleki, Dick De Jongh
Weak subintuitionistic logics. Log. J. IGPL 25 (2) (2017)
Çigdem Gencer, Dick De Jongh
Unifiability in extensions of K4. Log. J. IGPL 17 (2) (2009)
Rosalie Iemhoff, Dick De Jongh, Chunlai Zhou
Properties of Intuitionistic Provability and Preservativity Logics. Log. J. IGPL 13 (6) (2005)
Dick De Jongh, Lex Hendriks
Characterization of strongly equivalent logic programs in intermediate logics. Theory Pract. Log. Program. 3 (3) (2003)
Dick De Jongh, Lex Hendriks
Characterization of Strongly Equivalent Logic Programs in Intermediate Logics CoRR (2002)
Dick De Jongh, Makoto Kanazawa
Angluin's Theorem for Indexed Families of r.e. Sets and Applications. COLT (1996)
Dick De Jongh, L. A. Chagrova
The Decidability of Dependency in Intuitionistic Propositional Logic. J. Symb. Log. 60 (2) (1995)
Dick De Jongh, Lex Hendriks, Gerard R. Renardel de Lavalette
Computations in Fragments of Intuitionistic Propositional Logic. J. Autom. Reason. 7 (4) (1991)
Dick De Jongh, Franco Montagna
Provable Fixed Points. Math. Log. Q. 34 (3) (1988)
Dov M. Gabbay, Dick De Jongh
A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property. J. Symb. Log. 39 (1) (1974)