The following pages link to Dick H. J. de Jongh (Q1099163):
Displaying 50 items.
- (Q454377) (redirect page) (← links)
- Extendible formulas in two variables in intuitionistic logic (Q454378) (← links)
- Intermediate logics and the de Jongh property (Q627438) (← links)
- Interpretability in PRA (Q1035648) (← links)
- A simplification of a completeness proof of Guaspari and Solovay (Q1099164) (← links)
- Generic generalized Rosser fixed points (Q1099165) (← links)
- Explicit fixed points in interpretability logic (Q1176094) (← links)
- On the proof of Solovay's theorem (Q1176096) (← links)
- Rosser orderings and free variables (Q1176097) (← links)
- Computations in fragments of intuitionistic propositional logic (Q1181713) (← links)
- Subminimal negation (Q1699743) (← links)
- Stable formulas in intuitionistic logic (Q1782236) (← links)
- Subintuitionistic logics and the implications they prove (Q1788333) (← links)
- Universal models for the positive fragment of intuitionistic logic (Q2284497) (← links)
- Subintuitionistic logics with Kripke semantics (Q2284502) (← links)
- Binary modal companions for subintuitionistic logics (Q2658275) (← links)
- Intuitionistic implication without disjunction (Q2893316) (← links)
- (Q2998377) (← links)
- Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models (Q3019970) (← links)
- (Q3338239) (← links)
- Properties of Intuitionistic Provability and Preservativity Logics (Q3378194) (← links)
- Duality and Universal Models for the Meet-Implication Fragment of IPC (Q3455183) (← links)
- Positive Formulas in Intuitionistic and Minimal Logic (Q3455187) (← links)
- The Kuznetsov-Gerčiu and Rieger-Nishimura logics (Q3534983) (← links)
- The Structure of Rigid Frames of Depth 3 Only (Q3623828) (← links)
- Unifiability in extensions of K4 (Q3625492) (← links)
- Provable Fixed Points (Q3809768) (← links)
- (Q3837730) (← links)
- (Q3874266) (← links)
- (Q3936721) (← links)
- (Q4053624) (← links)
- Kripke models and the intuitionistic theory of species (Q4077996) (← links)
- Much Shorter Proofs (Q4206724) (← links)
- (Q4215636) (← links)
- (Q4250049) (← links)
- (Q4329232) (← links)
- Characterization of strongly equivalent logic programs in intermediate logics (Q4452594) (← links)
- Weak subintuitionistic logics (Q4644479) (← links)
- (Q4694209) (← links)
- A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property (Q4777279) (← links)
- The decidability of dependency in intuitionistic propositional logic (Q4842626) (← links)
- (Q4896508) (← links)
- Comparing strengths of beliefs explicitly (Q4925182) (← links)
- IN MEMORIAM: ANNE SJERP TROELSTRA 1939–2019 (Q4984863) (← links)
- (Q5132769) (← links)
- (Q5224694) (← links)
- Logic and Learning (Q5249673) (← links)
- (Q5509710) (← links)
- (Q5614644) (← links)
- (Q5631083) (← links)
