Semantic values for natural deduction derivations

DOI10.1007/S11229-004-6298-ZMaRDI QIDQ2500822zbMATH OpenOpenAlexFDO

Authors Göran Sundholm

Publication date 18 August 2006

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-004-6298-z

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Sequent calculi and bidirectional natural deduction: on the proper basis of proof-theoretic semantics
• Proof-theoretic semantic values for logical operators
• Two normalizations for naturald deductions in sequent style
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• Natural deduction with general elimination rules

Cites work

• A natural extension of natural deduction
• Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
• scientific article; zbMATH DE number 3813515 (Why is no real title available?)
• scientific article; zbMATH DE number 1028825 (Why is no real title available?)
• scientific article; zbMATH DE number 3437108 (Why is no real title available?)
• scientific article; zbMATH DE number 3360143 (Why is no real title available?)
• Implicit epistemic aspects of constructive logic
• Schlussweisen-Kalküle der Prädikatenlogik
• The consistency of arithmetics
• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen

Cited in

(12)

• The neglect of epistemic considerations in logic: the case of epistemic assumptions
• Proof, meaning and paradox: some remarks
• Dialogues, reasons and endorsement
• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• Sequent calculi and bidirectional natural deduction: on the proper basis of proof-theoretic semantics
• Gödel and intuitionism
• \textit{Grundlagen der arithmetik}, {\S}17. I: Frege's anticipation of the deduction theorem
• The validity of inference and argument
• Deduction at the crossroads
• Assertion, assumption, and deduction
• Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics
• A brief summary of Göran Sundholm's philosophical work

This page was built for publication: Semantic values for natural deduction derivations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2500822)