Stoic Sequent Logic and Proof Theory (Q5208124): Difference between revisions

@@ Property / describes a project that uses @@
+Psyche
@@ Property / describes a project that uses: Psyche / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2931393475
@@ Property / OpenAlex ID: W2931393475 / rank @@
+Normal rank
@@ Property / cites work @@
+A simple, complete numerical solution to the problem of diffraction of <i>S</i>                   <i>H</i> waves by an irregular surface
+Normal rank
@@ Property / cites work @@
+Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic
+Normal rank
@@ Property / cites work @@
+Q4405127
@@ Property / cites work: Q4405127 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis in intermediate logics
@@ Property / cites work: Proof analysis in intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4863622
@@ Property / cites work: Q4863622 / rank @@
+Normal rank
@@ Property / cites work @@
+Greek, Indian and Arabic logic
@@ Property / cites work: Greek, Indian and Arabic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. II
@@ Property / cites work: Untersuchungen über das logische Schliessen. II / rank @@
+Normal rank
@@ Property / cites work @@
+Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture
+Normal rank
@@ Property / cites work @@
+Q4405126
@@ Property / cites work: Q4405126 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093482
@@ Property / cites work: Q3093482 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4604252
@@ Property / cites work: Q4604252 / rank @@
+Normal rank
@@ Property / cites work @@
+On the rules of suppositions in formal logic
@@ Property / cites work: On the rules of suppositions in formal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3281052
@@ Property / cites work: Q3281052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842970
@@ Property / cites work: Q4842970 / rank @@
+Normal rank
@@ Property / cites work @@
+Connexive implication
@@ Property / cites work: Connexive implication / rank @@
+Normal rank
@@ Property / cites work @@
+On the completeness of non-philonian stoic logic
@@ Property / cites work: On the completeness of non-philonian stoic logic / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of Stoic propositional logic
@@ Property / cites work: The completeness of Stoic propositional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128139413
@@ Property / Wikidata QID: Q128139413 / rank @@
+Normal rank