Stoic Sequent Logic and Proof Theory
DOI10.1080/01445340.2019.1579624zbMATH Open1427.03061OpenAlexW2931393475WikidataQ128139413 ScholiaQ128139413MaRDI QIDQ5208124FDOQ5208124
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
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
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)
Cites Work
- Psyche: a proof-search engine based on sequent calculus with an LCF-style architecture
- Title not available (Why is that?)
- Structural proof theory. With an appendix by Aarne Ranta
- Title not available (Why is that?)
- Title not available (Why is that?)
- Untersuchungen über das logische Schliessen. II
- Greek, Indian and Arabic logic
- The connectives
- Title not available (Why is that?)
- On the rules of suppositions in formal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Proof analysis in intermediate logics
- Connexive implication
- Title not available (Why is that?)
- Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
- The completeness of Stoic propositional logic
- Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic
- Stoic logic
- On the completeness of non-philonian stoic logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- A simple, complete numerical solution to the problem of diffraction of S H waves by an irregular surface
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
- Title not available (Why is that?)
- 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
Uses Software
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)
