On two problems of Harvey Friedman
From MaRDI portal
Publication:1140629
DOI10.1007/BF00405383zbMath0436.03018WikidataQ56474454 ScholiaQ56474454MaRDI QIDQ1140629
Publication date: 1979
Published in: Studia Logica (Search for Journal in Brave)
disjunction propertyHallden complete modal logicKreisel- Putnam ruleMcKinsey-Tarski translationstructurally complete intermediate logic
Related Items (14)
On rules ⋮ Consequence relations and admissible rules ⋮ UNIFICATION IN INTERMEDIATE LOGICS ⋮ On unification and admissible rules in Gabbay-de Jongh logics ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ On the rules of intermediate logics ⋮ Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Deductive systems with multiple-conclusion rules and the disjunction property ⋮ Inquisitive Heyting algebras ⋮ On maximal intermediate predicate constructive logics ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
Cites Work
- An algebraic approach to non-classical logics
- Matrix approach in methodology of sentential calculi
- A note on Hallden-incompleteness
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
- Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
- Disjunction and existence under implication in elementary intuitionistic formalisms
- One hundred and two problems in mathematical logic
- Some theorems about the sentential calculi of Lewis and Heyting
- Systems of modal logic which are not unreasonable in the sense of Halldén
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: On two problems of Harvey Friedman
