Why conclusions should remain single

DOI10.1007/s10992-010-9153-3zbMath1233.03016MaRDI QIDQ543530

Florian Steinberger

Publication date: 17 June 2011

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-010-9153-3

zbMATH Keywords

inferentialism; multiple conclusions; proof-theoretic arguments

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

Related Items

From many-valued consequence to many-valued connectives, Axiomatizing non-deterministic many-valued generalized consequence relations, Proof-theoretic pluralism, Logical multilateralism, Introduction: Bilateralism and Proof-Theoretic Semantics (Part I), Introduction: Bilateralism and Proof-Theoretic Semantics (Part II), Bilateral Rules as Complex Rules, Structuring co-constructive logic for proofs and refutations, Logical consequence and the paradoxes, Compositionality solves Carnap's problem, Hopeful monsters: a note on multiple conclusions, Classical harmony and separability, Single-assumption systems in proof-theoretic semantics, Harmony in multiple-conclusion natural-deduction, Explicating logical independence, Meta-inferences and supervaluationism, The original sin of proof-theoretic semantics, HOW A SEMANTICS FOR TONK SHOULD BE, ‘Transitivity’ of Consequence Relations

Cites Work

• Harmony and autonomy in classical logic
• What is Logic?
• Natural deduction and sequent calculus for intuitionistic relevant logic
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• Rejection
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item