COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS (Q4679769): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160890
@@ Property / cites work: Q4160890 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic
+Normal rank
@@ Property / cites work @@
+Integrated semantics and logic metric spaces
@@ Property / cites work: Integrated semantics and logic metric spaces / rank @@
+Normal rank