Nice embedding in classical logic (Q300555): Difference between revisions

@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4132493
@@ Property / cites work: Q4132493 / rank @@
+Normal rank
@@ Property / cites work @@
+Spoiled for choice?
@@ Property / cites work: Spoiled for choice? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3909031
@@ Property / cites work: Q3909031 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250060
@@ Property / cites work: Q4250060 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4925910
@@ Property / cites work: Q4925910 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4811771
@@ Property / cites work: Q4811771 / rank @@
+Normal rank
@@ Property / cites work @@
+What is a completely integrable nonholonomic dynamical system?
+Normal rank
@@ Property / cites work @@
+Q3148848
@@ Property / cites work: Q3148848 / rank @@
+Normal rank
@@ Property / cites work @@
+New dimensions on translations between logics
@@ Property / cites work: New dimensions on translations between logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5728439
@@ Property / cites work: Q5728439 / rank @@
+Normal rank
@@ Property / cites work @@
+On the theory of inconsistent formal systems
@@ Property / cites work: On the theory of inconsistent formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Goal-directed proof theory
@@ Property / cites work: Goal-directed proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+THE UBIQUITY OF CONSERVATIVE TRANSLATIONS
@@ Property / cites work: THE UBIQUITY OF CONSERVATIVE TRANSLATIONS / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329290
@@ Property / cites work: Q4329290 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992933
@@ Property / cites work: Q3992933 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiom schemes for <i>m</i>-valued propositions calculi
+Normal rank
@@ Property / cites work @@
+Q3285631
@@ Property / cites work: Q3285631 / rank @@
+Normal rank