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

@@ 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