On disjunctions and existential statements in intuitionistic systems of logic

DOI10.1007/BF01360048zbMath0071.24504MaRDI QIDQ767454

Ronald Harrop

Publication date: 1956

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/160525

zbMATH Keywords

foundations, philosophy, logic

Related Items

Some structure results for propositional calculi ⋮ On the finite model property of weak intuitionistic tense logic ⋮ The Deduction Theorem (Before and After Herbrand) ⋮ METAVALUATIONS ⋮ Gentzen formulations of two positive relevance logics ⋮ Unnamed Item ⋮ Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems ⋮ The disjunction property of intermediate propositional logics ⋮ The Story of $$\gamma $$ γ ⋮ Disjunction and existence under implication in elementary intuitionistic formalisms ⋮ The Context of Inference ⋮ A short note on divisible residuated semilattices ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Schlussweisen-Kalküle der Prädikatenlogik
• On the use of dots as brackets in logical expressions
• Models of logical systems
• Some theorems about the sentential calculi of Lewis and Heyting
• On existential theorems in non-classical functional calculi
• Algebraic models of axiomatic theories