A modal sequent calculus for a fragment of arithmetic (Q1150597): Difference between revisions

@@ Property / author @@
-Giovanni Sambin
@@ Property / author: Giovanni Sambin / rank @@
-Normal rank
@@ Property / author @@
-Silvio Valentini
@@ Property / author: Silvio Valentini / rank @@
-Normal rank
@@ Property / author @@
+Giovanni Sambin
@@ Property / author: Giovanni Sambin / rank @@
+Normal rank
@@ Property / author @@
+Silvio Valentini
@@ Property / author: Silvio Valentini / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4196401
@@ Property / cites work: Q4196401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3900021
@@ Property / cites work: Q3900021 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3958435
@@ Property / cites work: Q3958435 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1150597