Syllogisms in rudimentary linear logic, diagrammatically (Q2255209): Difference between revisions

@@ Property / arXiv ID @@
+.7111
@@ Property / arXiv ID: 1302.7111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4888736
@@ Property / cites work: Q4888736 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of an ancient logic
@@ Property / cites work: Completeness of an ancient logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4774002
@@ Property / cites work: Q4774002 / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+The Advent of Formal Diagrammatic Reasoning Systems
+Normal rank
@@ Property / cites work @@
+An algebraic correctness criterion for intuitionistic multiplicative proof-nets
+Normal rank
@@ Property / cites work @@
+Linear diagrams for syllogisms (with relationals)
@@ Property / cites work: Linear diagrams for syllogisms (with relationals) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4742734
@@ Property / cites work: Q4742734 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791120
@@ Property / cites work: Q3791120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842966
@@ Property / cites work: Q4842966 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded linear logic: A modular approach to polynomial-time computability
+Normal rank
@@ Property / cites work @@
+The structure of valid \(n\)-term syllogisms
@@ Property / cites work: The structure of valid \(n\)-term syllogisms / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with sentences and diagrams
@@ Property / cites work: Reasoning with sentences and diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q4224224
@@ Property / cites work: Q4224224 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a model theory of diagrams
@@ Property / cites work: Towards a model theory of diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Euler’s visual logic
@@ Property / cites work: Euler’s visual logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753849
@@ Property / cites work: Q2753849 / rank @@
+Normal rank
@@ Property / cites work @@
+Spider Diagrams
@@ Property / cites work: Spider Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+On the insufficiency of linear diagrams for syllogisms
+Normal rank
@@ Property / cites work @@
+Q5805951
@@ Property / cites work: Q5805951 / rank @@
+Normal rank
@@ Property / cites work @@
+A diagrammatic inference system with Euler circles
+Normal rank
@@ Property / cites work @@
+A diagrammatic calculus of syllogisms
@@ Property / cites work: A diagrammatic calculus of syllogisms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847218
@@ Property / cites work: Q4847218 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4540990
@@ Property / cites work: Q4540990 / rank @@
+Normal rank
@@ Property / cites work @@
+What is a syllogism?
@@ Property / cites work: What is a syllogism? / rank @@
+Normal rank
@@ Property / cites work @@
+A diagrammatic treatment of syllogistic
@@ Property / cites work: A diagrammatic treatment of syllogistic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3321495
@@ Property / cites work: Q3321495 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2845530
@@ Property / cites work: Q2845530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848472
@@ Property / cites work: Q2848472 / rank @@
+Normal rank
@@ Property / cites work @@
+A Decidable Constraint Diagram Reasoning System
@@ Property / cites work: A Decidable Constraint Diagram Reasoning System / rank @@
+Normal rank
@@ Property / cites work @@
+The Expressiveness of Spider Diagrams
@@ Property / cites work: The Expressiveness of Spider Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Diagrammatic Representation and Inference
@@ Property / cites work: Diagrammatic Representation and Inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q4548196
@@ Property / cites work: Q4548196 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737294
@@ Property / cites work: Q4737294 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848474
@@ Property / cites work: Q2848474 / rank @@
+Normal rank