Informational semantics, non-deterministic matrices and feasible deduction (Q281148): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+F20
@@ Property / Mathematics Subject Classification ID: 03F20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B05
@@ Property / Mathematics Subject Classification ID: 03B05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6578786
@@ Property / zbMATH DE Number: 6578786 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+classical propositional logic
@@ Property / zbMATH Keywords: classical propositional logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+informational semantics
@@ Property / zbMATH Keywords: informational semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+nondeterministic matrices
@@ Property / zbMATH Keywords: nondeterministic matrices / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+computational complexity
@@ Property / zbMATH Keywords: computational complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+natural deduction
@@ Property / zbMATH Keywords: natural deduction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+semantic tableaux
@@ Property / zbMATH Keywords: semantic tableaux / rank @@
+Normal rank

Revision as of 17:35, 27 June 2023