A diagrammatic inference system with Euler circles (Q2255200): Difference between revisions

@@ Property / DOI @@
-.1007/s10849-012-9160-6
@@ Property / DOI: 10.1007/s10849-012-9160-6 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10849-012-9160-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2122880497
@@ Property / OpenAlex ID: W2122880497 / 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 @@
+Spider Diagrams
@@ Property / cites work: Spider Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
+Normal rank
@@ Property / cites work @@
+Q4847218
@@ Property / cites work: Q4847218 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848472
@@ Property / cites work: Q2848472 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10849-012-9160-6
@@ Property / DOI: 10.1007/S10849-012-9160-6 / rank @@
+Normal rank