Hypothesis-Discharging Rules in Atomic Bases

DOI10.1007/978-3-319-11041-7_14zbMath1429.03193OpenAlexW334558148MaRDI QIDQ5213617

Tor Sandqvist

Publication date: 4 February 2020

Published in: Dag Prawitz on Proofs and Meaning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11041-7_14

zbMATH Keywords

dischargehypothesisvalidityextensioninferenceassumptionatomic inference rule

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Subatomic natural deduction for a naturalistic first-order language with non-primitive identity

Cites Work

• Unnamed Item
• A natural extension of natural deduction
• Classical logic without bivalence
• Constructive semantics, admissibility of rules and the validity of Peirce's law
• A Critical Remark on the BHK Interpretation of Implication

This page was built for publication: Hypothesis-Discharging Rules in Atomic Bases