scientific article; zbMATH DE number 3895056

zbMath0562.03028MaRDI QIDQ5187275

Peter Schroeder-Heister

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

natural deductionintuitionistic logicfunctional completenessintuitionistic first-order logicrules of higher levels

Mathematics Subject Classification ID

Classical first-order logic (03B10) Structure of proofs (03F07) Intuitionistic mathematics (03F55)

Related Items (9)

Calculi of epistemic grounding based on Prawitz's theory of grounds ⋮ The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony ⋮ Least and greatest fixed points in intuitionistic natural deduction ⋮ Prawitz, Proofs, and Meaning ⋮ Inversion Principles and Introduction Rules ⋮ Meaning in Use ⋮ The foundation of a generic theorem prover ⋮ Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus ⋮ Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds

This page was built for publication: