The completeness of Stoic propositional logic

DOI10.1305/NDJFL/1093882418zbMath0314.02003OpenAlexW1983597157MaRDI QIDQ1220470

Ian Mueller

Publication date: 1979

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093882418

zbMATH Keywords

COMPLETENESS OF STOIC PROPOSITIONAL LOGIC

Mathematics Subject Classification ID

Classical propositional logic (03B05) History of mathematical logic and foundations (03-03) History of Greek and Roman mathematics (01A20)

Related Items (1)

Stoic Sequent Logic and Proof Theory

This page was built for publication: The completeness of Stoic propositional logic