Why conclusions should remain single

DOI10.1007/S10992-010-9153-3zbMATH Open1233.03016OpenAlexW1993148732MaRDI QIDQ543530FDOQ543530

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

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?

zbMATH Keywords

inferentialismmultiple conclusionsproof-theoretic arguments

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Harmony and autonomy in classical logic
• Title not available (Why is that?)
• Multiple conclusions
• Title not available (Why is that?)
• Rejection
• What is Logic?
• Title not available (Why is that?)
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• Tennant on multiple conclusions
• Natural deduction and sequent calculus for intuitionistic relevant logic
• Title not available (Why is that?)

Cited In (25)

• Structuring co-constructive logic for proofs and refutations
• A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
• Logical consequence and the paradoxes
• Explicating logical independence
• Tennant on multiple conclusions
• Multiple conclusions
• Harmony in multiple-conclusion natural-deduction
• HOW A SEMANTICS FOR TONK SHOULD BE
• Logical multilateralism
• Bilateral Rules as Complex Rules
• Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)
• Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)
• Hopeful monsters: a note on multiple conclusions
• Classical harmony and separability
• From many-valued consequence to many-valued connectives
• Categoricity problem for LP and K3
• ‘Transitivity’ of Consequence Relations
• 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)