Acceptance, inference, and the multiple-conclusion sequent

DOI10.1007/s11229-011-9909-5zbMath1275.03052OpenAlexW2028750638MaRDI QIDQ383068

Tor Sandqvist

Publication date: 25 November 2013

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-011-9909-5

zbMATH Keywords

inferencestructural rulesrejectionacceptancemultiple conclusionsrational commitmentsequent

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07)

Related Items (1)

Harmony in multiple-conclusion natural-deduction

Cites Work

• Meaning as an inferential role
• Unnamed Item
• Unnamed Item

This page was built for publication: Acceptance, inference, and the multiple-conclusion sequent