Studia Logica 38 (3):247 - 262 (1979)
|Abstract||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 xyz/(xy)(xz).|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
D. Skvortsov (2000). On the Existence of Continua of Logics Between Some Intermediate Predicate Logics. Studia Logica 64 (2):257-270.
Harvey Friedman (1975). One Hundred and Two Problems in Mathematical Logic. Journal of Symbolic Logic 40 (2):113-129.
Harvey Friedman, A Complete Theory of Everything: Satisfiability in the Universal Domain Harvey M. Friedman October 10, 1999 Friedman@Math.Ohio-State.Edu Www.Math.Ohio-State.Edu/~Friedman/. [REVIEW]
Harvey Friedman, A Complete Theory of Everything: Satisfiability in the Universal Domain Harvey M. Friedman October 10, 1999 Friedman@Math.Ohio-State.Edu. [REVIEW]
Harvey Friedman & Robert K. Meyer (1992). Whither Relevant Arithmetic? Journal of Symbolic Logic 57 (3):824-831.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #277,212 of 556,837 )
Recent downloads (6 months)1 ( #64,847 of 556,837 )
How can I increase my downloads?