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

@@ Property / DOI @@
-.1007/s11225-015-9622-3
@@ Property / DOI: 10.1007/s11225-015-9622-3 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B20
@@ Property / Mathematics Subject Classification ID: 03B20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B53
@@ Property / Mathematics Subject Classification ID: 03B53 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B60
@@ Property / Mathematics Subject Classification ID: 03B60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B50
@@ Property / Mathematics Subject Classification ID: 03B50 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6599135
@@ Property / zbMATH DE Number: 6599135 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+embedding
@@ Property / zbMATH Keywords: embedding / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+translations
@@ Property / zbMATH Keywords: translations / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+classical logic
@@ Property / zbMATH Keywords: classical logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+gluts and gaps
@@ Property / zbMATH Keywords: gluts and gaps / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+bi-valued semantics
@@ Property / zbMATH Keywords: bi-valued semantics / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-015-9622-3
+Normal rank
@@ Property / OpenAlex ID @@
+W862038960
@@ Property / OpenAlex ID: W862038960 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S11225-015-9622-3
@@ Property / DOI: 10.1007/S11225-015-9622-3 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:300555