On two problems of Harvey Friedman
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3657810 (Why is no real title available?)
- scientific article; zbMATH DE number 3557746 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- A note on Hallden-incompleteness
- An algebraic approach to non-classical logics
- 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
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
- Matrix approach in methodology of sentential calculi
- 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
Cited in
(14)- On rules
- On unification and admissible rules in Gabbay-de Jongh logics
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
- On maximal intermediate predicate constructive logics
- Consequence relations and admissible rules
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
- Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
- On the rules of intermediate logics
- Deductive systems with multiple-conclusion rules and the disjunction property
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- Admissibility and refutation: some characterisations of intermediate logics
- Inquisitive Heyting algebras
- UNIFICATION IN INTERMEDIATE LOGICS
- On the modal logic of subset and superset: tense logic over Medvedev frames
This page was built for publication: On two problems of Harvey Friedman
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1140629)
