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) History of mathematical logic and foundations (03-03) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)

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

• 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
• 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?)
• 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

(8)

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

Describes a project that uses

Uses Software

• Pesca
• Psyche

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)