Translating non-classical logics into classical logic by using hidden variables (Q2399603): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11787-017-0168-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2608610996
@@ Property / OpenAlex ID: W2608610996 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-deterministic semantics for logics with a consistency operator
+Normal rank
@@ Property / cites work @@
+Q5311062
@@ Property / cites work: Q5311062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4583680
@@ Property / cites work: Q4583680 / rank @@
+Normal rank
@@ Property / cites work @@
+Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
+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 @@
+Conservative translations
@@ Property / cites work: Conservative translations / 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 @@
+What is a non-truth-functional logic?
@@ Property / cites work: What is a non-truth-functional logic? / rank @@
+Normal rank