Why conclusions should remain single

DOI10.1007/S10992-010-9153-3MaRDI QIDQ543530zbMATH OpenOpenAlexFDO

Authors 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

inferentialismmultiple conclusionsproof-theoretic arguments

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Hopeful monsters: a note on multiple conclusions
• Multiple conclusions
• Tennant on multiple conclusions
• Acceptance, inference, and the multiple-conclusion sequent
• What is the logic of inference?

Cites work

• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 1281125 (Why is no real title available?)
• scientific article; zbMATH DE number 1064418 (Why is no real title available?)
• scientific article; zbMATH DE number 753778 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• Harmony and autonomy in classical logic
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• Multiple conclusions
• Natural deduction and sequent calculus for intuitionistic relevant logic
• Rejection
• Tennant on multiple conclusions
• What is Logic?

Cited in

(26)

• Structuring co-constructive logic for proofs and refutations
• Logical consequence and the paradoxes
• A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
• How a semantics for tonk should be
• ``Transitivity of consequence relations
• Explicating logical independence
• Tennant on multiple conclusions
• Multiple conclusions
• Harmony in multiple-conclusion natural-deduction
• Logical multilateralism
• Hopeful monsters: a note on multiple conclusions
• Classical harmony and separability
• Bilateral Rules as Complex Rules
• Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)
• Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)
• From many-valued consequence to many-valued connectives
• Strict-choice validities: A note on a familiar pluralism
• Categoricity problem for LP and K3
• Meta-inferences and supervaluationism
• Reading conclusions conjunctively
• Proof-theoretic pluralism
• Axiomatizing non-deterministic many-valued generalized consequence relations
• Single-assumption systems in proof-theoretic semantics
• Compositionality solves Carnap's problem
• The original sin of proof-theoretic semantics
• A general schema for bilateral proof rules

This page was built for publication: Why conclusions should remain single

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