On interpretation and separation theorems for the logical systems E and R (Q2557238): Difference between revisions

@@ Property / cites work @@
+Q5730122
@@ Property / cites work: Q5730122 / rank @@
+Normal rank
@@ Property / cites work @@
+The pure calculus of entailment
@@ Property / cites work: The pure calculus of entailment / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional models for first degree formulas
@@ Property / cites work: Intensional models for first degree formulas / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure For the System <i>E</i><sub>Ī</sub> of Entailment with Negation
+Normal rank
@@ Property / cites work @@
+E and S4
@@ Property / cites work: E and S4 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5628093
@@ Property / cites work: Q5628093 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509706
@@ Property / cites work: Q5509706 / rank @@
+Normal rank