Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic

DOI10.1007/S11225-018-9797-5zbMath1494.03089OpenAlexW2800789526MaRDI QIDQ2422314

Roy Dyckhoff, Susanne Bobzien

Publication date: 19 June 2019

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-018-9797-5

zbMATH Keywords

relevancedecidabilityanalyticityproof theorybalancesequentcut-admissibilitystoic logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (4)

Stoic Sequent Logic and Proof Theory ⋮ Sextus Empiricus' Fourth Conditional and Containment Logic ⋮ INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS ⋮ Chrysippus' logic in a natural deduction setting

Cites Work

• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
• Untersuchungen über das logische Schliessen. II
• Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
• EARLY STRUCTURAL REASONING. GENTZEN 1932
• Contraction-free sequent calculi for intuitionistic logic
• On the completeness of non-philonian stoic logic

This page was built for publication: Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic