The principle of separation of variables in propositional logics (Q1240219): Difference between revisions

@@ Property / cites work @@
+Begründung einer strengen Implikation
@@ Property / cites work: Begründung einer strengen Implikation / rank @@
+Normal rank
@@ Property / cites work @@
+Entailment and relevance<sup>1</sup>
@@ Property / cites work: Entailment and relevance<sup>1</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic completeness results for R-mingle and its extensions
+Normal rank
@@ Property / cites work @@
+E, R AND <i>γ</i>
@@ Property / cites work: E, R AND <i>γ</i> / rank @@
+Normal rank