Proof theory and mathematical meaning of paraconsistent C-systems (Q420832): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B53
@@ Property / Mathematics Subject Classification ID: 03B53 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F30
@@ Property / Mathematics Subject Classification ID: 03F30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F45
@@ Property / Mathematics Subject Classification ID: 03F45 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6037798
@@ Property / zbMATH DE Number: 6037798 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+proof theory
@@ Property / zbMATH Keywords: proof theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+paraconsistent logic
@@ Property / zbMATH Keywords: paraconsistent logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+foundations of constructive paraconsistent mathematics
+Normal rank
@@ Property / zbMATH Keywords @@
+classical provability logic of PA as a model of paraconsistency
+Normal rank
@@ Property / zbMATH Keywords @@
+arithmetical semantics
@@ Property / zbMATH Keywords: arithmetical semantics / rank @@
+Normal rank

Revision as of 21:38, 29 June 2023