Stoic Sequent Logic and Proof Theory

DOI10.1080/01445340.2019.1579624zbMath1427.03061OpenAlexW2931393475WikidataQ128139413 ScholiaQ128139413MaRDI QIDQ5208124

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 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) History of Greek and Roman mathematics (01A20)

Related Items (1)

Chrysippus' logic in a natural deduction setting

Uses Software

• Pesca
• Psyche

Cites Work

• Proof analysis in intermediate logics
• The completeness of Stoic propositional logic
• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
• Untersuchungen über das logische Schliessen. II
• On the rules of suppositions in formal logic
• Greek, Indian and Arabic logic
• Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic
• Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture
• On the completeness of non-philonian stoic logic
• Connexive implication
• A simple, complete numerical solution to the problem of diffraction of S H waves by an irregular surface
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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