Pages that link to "Item:Q1140629"
From MaRDI portal
The following pages link to On two problems of Harvey Friedman (Q1140629):
Displaying 14 items.
- On rules (Q266650) (← links)
- Consequence relations and admissible rules (Q300835) (← links)
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Inquisitive Heyting algebras (Q2062213) (← links)
- Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable (Q2276947) (← links)
- Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
- On the rules of intermediate logics (Q2501166) (← links)
- On maximal intermediate predicate constructive logics (Q2563458) (← links)
- UNIFICATION IN INTERMEDIATE LOGICS (Q3450801) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS (Q5381031) (← links)
