Stipulation and symmetrical consequence

DOI10.1007/978-81-322-2719-9_16MaRDI QIDQ5241532zbMATH OpenOpenAlexFDO

Authors Bryson Brown

Publication date 31 October 2019

Published in Springer Proceedings in Mathematics & Statistics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-81-322-2719-9_16

zbMATH Keywords

conservative extensioninference rulemultiple conclusionspreservationismstipulation

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53)

Recommendations

• Consequence as preservation: some refinements
• scientific article; zbMATH DE number 753777
• The logic of alternative logical consequence
• Fifty (more or less) shades of logical consequence
• Formal notes on the substitutional analysis of logical consequence

Cites work

• A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 3304023 (Why is no real title available?)
• scientific article; zbMATH DE number 3099236 (Why is no real title available?)
• Logic and aggregation
• Multiple conclusions
• On rules of inference and the meanings of logical constants

Cited in

(3)

• Aristotelian diagrams for semantic and syntactic consequence
• Consequence as preservation: some refinements
• Against logical inferentialism. Stipulation, rules and the mushroom omelette objection

This page was built for publication: Stipulation and symmetrical consequence

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