Studia Logica

, Volume 38, Issue 3, pp 247–262

On two problems of Harvey Friedman

  • Tadeusz Prucnal

DOI: 10.1007/BF00405383

Cite this article as:
Prucnal, T. Stud Logica (1979) 38: 247. doi:10.1007/BF00405383


The paper considers certain properties of intermediate and moda propositional logics.

The first part contains a proof of the theorem stating that each intermediate logic is closed under the Kreisel-Putnam rule ∼x→y∨z/(∼x→y)∨(∼x→z).

The second part includes a proof of the theorem ensuring existence of a greatest structurally complete intermediate logic having the disjunction property. This theorem confirms H. Friedman's conjecture 41 (cf. [2], problem 41).

In the third part the reader will find a criterion which allows us to obtain sets satisfying the conditions of Friedman's problem 42, on the basis of intermediate logics satisfying the conditions of problem 41.

Finally, the fourth part contains a proof of a criterion which allows us to obtain modal logics endowed with Hallden's property on the basis of structurally complete intermediate logics having the disjunction property.

Copyright information

© Polish Academy of Sciences 1979

Authors and Affiliations

  • Tadeusz Prucnal
    • 1
  1. 1.Institute of MathematicsPedagogical CollegeKielcePoland