Inferring, splicing, and the Stoic analysis of argument

zbMATH Open1320.03017MaRDI QIDQ2939745FDOQ2939745

Authors: Peter Milne 

Publication date: 22 January 2015

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

zbMATH Keywords

Stoic logicgeneral elimination rules

Mathematics Subject Classification ID

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

Cited In (1)

• Inversion Principles and Introduction Rules

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)