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

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