Stoic Sequent Logic and Proof Theory

DOI10.1080/01445340.2019.1579624MaRDI QIDQ5208124zbMATH OpenOpenAlexWikidataFDO

Authors Susanne Bobzien

Publication date 15 January 2020

Published in History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL https://ora.ox.ac.uk/objects/uuid:fdf28773-4164-4396-ae09-570a178258f1

Mathematics Subject Classification ID

History of Greek and Roman mathematics (01A20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) History of mathematical logic and foundations (03-03)

Recommendations

• scientific article; zbMATH DE number 2058984
• Logics of proofs and justifications
• Dedekind's logicism
• Provability and modal logic
• Fregean logics
• Proof-theoretic semantics and inquisitive logic
• Proofs and Models in Philosophical Logic
• On the completeness of non-philonian stoic logic
• Logic of proofs and provability
• Proof theory. Sequent calculi and related formalisms

Cites work

• scientific article; zbMATH DE number 3162889 (Why is no real title available?)
• scientific article; zbMATH DE number 3437102 (Why is no real title available?)
• scientific article; zbMATH DE number 3437103 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 786489 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A simple, complete numerical solution to the problem of diffraction of S H waves by an irregular surface
• Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic
• Connexive implication
• Greek, Indian and Arabic logic
• On the completeness of non-philonian stoic logic
• On the rules of suppositions in formal logic
• Proof analysis in intermediate logics
• Psyche: a proof-search engine based on sequent calculus with an LCF-style architecture
• Stoic logic
• Structural proof theory. With an appendix by Aarne Ranta
• The completeness of Stoic propositional logic
• The connectives
• Untersuchungen über das logische Schliessen. II
• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen

Cited in

(7)

• Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic
• Is Stoic logic classical?
• Inferring, splicing, and the Stoic analysis of argument
• scientific article; zbMATH DE number 1180151 (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
• Chrysippus' logic in a natural deduction setting

Describes a project that uses

Uses Software

• Psyche
• Pesca

This page was built for publication: Stoic Sequent Logic and Proof Theory

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