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

assumptionatomic inference ruledischargeextensionhypothesisinferencevalidity

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

• 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
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)

Cited in

(7)

• Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
• Theta bases are atomic
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• Inferentialist resource semantics
• Proof-theoretic semantics for first-order logic
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• From proof-theoretic validity to base-extension semantics for intuitionistic propositional logic

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)