LK, LJ, dual intuitionistic logic, and quantum logic (Q558432): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B60
@@ Property / Mathematics Subject Classification ID: 03B60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B53
@@ Property / Mathematics Subject Classification ID: 03B53 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G12
@@ Property / Mathematics Subject Classification ID: 03G12 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+2186745
@@ Property / zbMATH DE Number: 2186745 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+sequent calculus
@@ Property / zbMATH Keywords: sequent calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+classical logic
@@ Property / zbMATH Keywords: classical logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+intuitionistic logic
@@ Property / zbMATH Keywords: intuitionistic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quantum logic
@@ Property / zbMATH Keywords: quantum logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dual intuitionistic logic
@@ Property / zbMATH Keywords: dual intuitionistic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+paraconsistent logic
@@ Property / zbMATH Keywords: paraconsistent logic / rank @@
+Normal rank

Revision as of 15:18, 1 July 2023