Formal axiomatic theories based on a three-valued logic (Q937906): Difference between revisions

@@ Property / cites work @@
+Q4693184
@@ Property / cites work: Q4693184 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4360106
@@ Property / cites work: Q4360106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4756727
@@ Property / cites work: Q4756727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions of some theorems of Gödel and Church
@@ Property / cites work: Extensions of some theorems of Gödel and Church / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812189
@@ Property / cites work: Q5812189 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequents in many valued logic I
@@ Property / cites work: Sequents in many valued logic I / rank @@
+Normal rank
@@ Property / cites work @@
+Sequents in many valued logic II
@@ Property / cites work: Sequents in many valued logic II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4041548
@@ Property / cites work: Q4041548 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3768917
@@ Property / cites work: Q3768917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4511322
@@ Property / cites work: Q4511322 / rank @@
+Normal rank
@@ Property / cites work @@
+Dual realizability in symmetric logic
@@ Property / cites work: Dual realizability in symmetric logic / rank @@
+Normal rank