Calculi for many-valued logics (Q2045004): Difference between revisions

@@ Property / DOI @@
-.1007/s11787-021-00274-5
@@ Property / DOI: 10.1007/s11787-021-00274-5 / rank @@
-Normal rank
@@ Property / cites work @@
+Q3142560
@@ Property / cites work: Q3142560 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-valued semantics for canonical labelled calculi
+Normal rank
@@ Property / cites work @@
+Harmony in multiple-conclusion natural-deduction
@@ Property / cites work: Harmony in multiple-conclusion natural-deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5869601
@@ Property / cites work: Q5869601 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. II
@@ Property / cites work: Untersuchungen über das logische Schliessen. II / rank @@
+Normal rank
@@ Property / cites work @@
+On intuitionistic many-valued logics
@@ Property / cites work: On intuitionistic many-valued logics / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard connectives of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Q5320764
@@ Property / cites work: Q5320764 / 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 @@
+Q5559532
@@ Property / cites work: Q5559532 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-valued logics of extended Gentzen style II
@@ Property / cites work: Many-valued logics of extended Gentzen style II / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11787-021-00274-5
@@ Property / DOI: 10.1007/S11787-021-00274-5 / rank @@
+Normal rank