Chrysippus' logic in a natural deduction setting

DOI10.1007/978-3-030-97303-2_4MaRDI QIDQ2094135zbMATH OpenOpenAlexFDO

Authors Marcello D'Agostino, Mario Piazza

Publication date 28 October 2022

Full work available at URL https://doi.org/10.1007/978-3-030-97303-2_4

zbMATH Keywords

classical logicnatural deductionrelevant logicstoic logic

Mathematics Subject Classification ID

History of Greek and Roman mathematics (01A20) History of mathematics in Late Antiquity and medieval Europe (01A35) History of mathematics in the 17th century (01A45) History of mathematics in the 18th century (01A50) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• CHR: a constructive relevant natural-deduction logic
• Inferring, splicing, and the Stoic analysis of argument
• Natural deduction and sequent calculus for intuitionistic relevant logic
• scientific article; zbMATH DE number 2101978
• scientific article; zbMATH DE number 3891328

Cites work

• Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic
• Conjunction and disjunction in Euclid's Elements
• scientific article; zbMATH DE number 3162889 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 2061781 (Why is no real title available?)
• scientific article; zbMATH DE number 2171646 (Why is no real title available?)
• scientific article; zbMATH DE number 3371999 (Why is no real title available?)
• On the completeness of non-philonian stoic logic
• Stoic logic. An exact reproduction of the text originally published by the University of California Press in 1953 and reprinted with a new preface in 1973
• Stoic Sequent Logic and Proof Theory
• The Taming of the Cut. Classical Refutations with Analytic Cut

Cited in

(1)

• CHR: a constructive relevant natural-deduction logic

This page was built for publication: Chrysippus' logic in a natural deduction setting

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