Hypothesis-discharging rules in atomic bases

DOI10.1007/978-3-319-11041-7_14zbMATH Open1429.03193OpenAlexW334558148MaRDI QIDQ5213617FDOQ5213617

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

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

zbMATH Keywords

dischargehypothesisinferenceextensionvalidityassumptionatomic inference rule

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Classical logic without bivalence
• A natural extension of natural deduction
• Constructive semantics, admissibility of rules and the validity of Peirce's law
• A critical remark on the BHK interpretation of implication

Cited In (3)

• 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

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)