Semantic values for natural deduction derivations

DOI10.1007/s11229-004-6298-zzbMath1103.03056OpenAlexW2045318987MaRDI QIDQ2500822

No author found.

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)

Related Items (5)

``Inference versus consequence revisited: inference, consequence, conditional, implication ⋮ Dialogues, Reasons and Endorsement ⋮ The neglect of epistemic considerations in logic: the case of epistemic assumptions ⋮ Proof, meaning and paradox: some remarks ⋮ Gödel and Intuitionism

Cites Work

• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
• Implicit epistemic aspects of constructive logic
• Schlussweisen-Kalküle der Prädikatenlogik
• Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
• A natural extension of natural deduction
• The consistency of arithmetics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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