Inferring, splicing, and the Stoic analysis of argument

zbMATH Open1320.03017MaRDI QIDQ2939745FDOQ2939745

Authors Peter Milne

Publication date 22 January 2015

zbMATH Keywords

Stoic logicgeneral elimination rules

Mathematics Subject Classification ID

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

Recommendations

• Stoic Sequent Logic and Proof Theory
• Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic
• General-elimination stability
• Classical harmony: Rules of inference and the meaning of the logical constants
• General-elimination harmony and the meaning of the logical constants

Cited in

(3)

• Inversion principles and introduction rules
• General-elimination stability
• Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Inferring, splicing, and the Stoic analysis of argument

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