Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction (Q4683205): Difference between revisions

@@ Property / describes a project that uses @@
+LPL software
@@ Property / describes a project that uses: LPL software / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4875400
@@ Property / cites work: Q4875400 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298571
@@ Property / cites work: Q4298571 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5815602
@@ Property / cites work: Q5815602 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4781250
@@ Property / cites work: Q4781250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2702282
@@ Property / cites work: Q2702282 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction, hybrid systems and modal logics
+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 @@
+A Brief History of Natural Deduction
@@ Property / cites work: A Brief History of Natural Deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3241190
@@ Property / cites work: Q3241190 / rank @@
+Normal rank