You are not currently logged in.
Access JSTOR through your library or other institution:
Semantic Values for Natural Deduction Derivations
Vol. 148, No. 3, Proof-Theoretic Semantics (Feb., 2006), pp. 623-638
Published by: Springer
Stable URL: http://www.jstor.org/stable/20118712
Page Count: 16
You can always find the topics here!Topics: Logical proofs, Natural deduction calculus, Sequents, Semantics, Proof theory, Sequent calculus, Inference, Well formed formulas, Logic, Syntax
Were these topics helpful?See somethings inaccurate? Let us know!
Select the topics that are inaccurate.
Preview not available
Drawing upon Martin-Löf's semantic framework for his constructive type theory, semantic values are assigned also to natural-deduction derivations, while observing the crucial distinction between (logical) consequence among propositions and inference among judgements. Derivations in Gentzen's (1934-5) format with derivable formulae dependent upon open assumptions, stand, it is suggested, for proof-objects (of propositions), whereas derivations in Gentzen's (1936) sequential format are (blue-prints for) proof-acts.
Synthese © 2006 Springer