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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2011.04.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2092068361
@@ Property / OpenAlex ID: W2092068361 / rank @@
+Normal rank
@@ Property / cites work @@
+LK, LJ, dual intuitionistic logic, and quantum logic
+Normal rank
@@ Property / cites work @@
+Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
+Normal rank
@@ Property / cites work @@
+Q3112287
@@ Property / cites work: Q3112287 / rank @@
+Normal rank
@@ Property / cites work @@
+Anti-intuitionism and paraconsistency
@@ Property / cites work: Anti-intuitionism and paraconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of proof theory
@@ Property / cites work: Handbook of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215630
@@ Property / cites work: Q4215630 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of Formal Inconsistency
@@ Property / cites work: Logics of Formal Inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440555
@@ Property / cites work: Q4440555 / rank @@
+Normal rank
@@ Property / cites work @@
+Limits for paraconsistent calculi
@@ Property / cites work: Limits for paraconsistent calculi / rank @@
+Normal rank
@@ Property / cites work @@
+On the theory of inconsistent formal systems
@@ Property / cites work: On the theory of inconsistent formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework
+Normal rank
@@ Property / cites work @@
+Q2863910
@@ Property / cites work: Q2863910 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic modal PA-completeness. I: A system-sequent metric
+Normal rank
@@ Property / cites work @@
+Proof-theoretic modal PA-completeness. II: The syntactic countermodel
+Normal rank
@@ Property / cites work @@
+Proof-theoretic modal PA-completeness. III: The syntactic proof
+Normal rank
@@ Property / cites work @@
+PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC
+Normal rank
@@ Property / cites work @@
+Q4215636
@@ Property / cites work: Q4215636 / rank @@
+Normal rank
@@ Property / cites work @@
+Inconsistent models for relevant arithmetics
@@ Property / cites work: Inconsistent models for relevant arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4841568
@@ Property / cites work: Q4841568 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+Dual-intuitionistic logic
@@ Property / cites work: Dual-intuitionistic logic / rank @@
+Normal rank