A syntactic approach to Maksimova's principle of variable separation for some substructural logics (Q5937808): Difference between revisions

@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4704742
@@ Property / cites work: Q4704742 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4383724
@@ Property / cites work: Q4383724 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the disjunction property of propositional logics and other related problems
+Normal rank
@@ Property / cites work @@
+Q4342081
@@ Property / cites work: Q4342081 / rank @@
+Normal rank
@@ Property / cites work @@
+\(TW_+\) and \(RW_+\) are decidable
@@ Property / cites work: \(TW_+\) and \(RW_+\) are decidable / rank @@
+Normal rank
@@ Property / cites work @@
+The principle of separation of variables in propositional logics
+Normal rank
@@ Property / cites work @@
+Interpolation properties of superintuitionistic logics
+Normal rank
@@ Property / cites work @@
+Q3999247
@@ Property / cites work: Q3999247 / rank @@
+Normal rank
@@ Property / cites work @@
+On variable separation in modal and superintuitionistic logics
+Normal rank
@@ Property / cites work @@
+Cut-elimination theorem for relevant logics
@@ Property / cites work: Cut-elimination theorem for relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694214
@@ Property / cites work: Q4694214 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940727
@@ Property / cites work: Q4940727 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics without the contraction rule
@@ Property / cites work: Logics without the contraction rule / rank @@
+Normal rank
@@ Property / cites work @@
+Solution to a problem of Ono and Komori
@@ Property / cites work: Solution to a problem of Ono and Komori / rank @@
+Normal rank