Pages that link to "Item:Q627438"

The following pages link to Intermediate logics and the de Jongh property (Q627438):

Displaying 22 items.

• The de Jongh property for basic arithmetic (Q481876) (← links)
• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
• Intermediate logics and factors of the Medvedev lattice (Q952483) (← links)
• Reflexive intermediate first-order logics (Q1049753) (← links)
• Sentential logics and Maehara interpolation property (Q1076010) (← links)
• Intermediate logics with the same disjunctionless fragment as intuitionistic logic (Q1096618) (← links)
• Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
• Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265) (← links)
• A semantical proof of De Jongh's theorem (Q1812961) (← links)
• Constructing illoyal algebra-valued models of set theory (Q2046361) (← links)
• Logics of intuitionistic Kripke-Platek set theory (Q2231694) (← links)
• On the rules of intermediate logics (Q2501166) (← links)
• Hard provability logics (Q2658282) (← links)
• Topologies for intermediate logics (Q2922497) (← links)
• (Q2998377) (← links)
• (Q3688377) (← links)
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
• EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
• THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC (Q6203558) (← links)
• Notes on my scientific life (Q6612807) (← links)
• The \(\Sigma_1\)-provability logic of HA revisited (Q6612810) (← links)