Hypothesis-discharging rules in atomic bases

DOI10.1007/978-3-319-11041-7_14MaRDI QIDQ5213617zbMATH OpenOpenAlexFDO

Authors 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

dischargehypothesisinferenceextensionvalidityassumptionatomic inference rule

Mathematics Subject Classification ID

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

Recommendations

• Assertion, inference, and consequence
• Base-extension semantics for intuitionistic sentential logic
• Proof-theoretic validity based on elimination rules
• Table admissible inference rules
• Validity as a primitive

Cites work

• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• A critical remark on the BHK interpretation of implication
• A natural extension of natural deduction
• Classical logic without bivalence
• Constructive semantics, admissibility of rules and the validity of Peirce's law

Cited in

(3)

• Theta bases are atomic
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• Subatomic natural deduction for a naturalistic first-order language with non-primitive identity

This page was built for publication: Hypothesis-discharging rules in atomic bases

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