Non-deterministic logic of informal provability has no finite characterization (Q2071578): Difference between revisions

@@ Property / DOI @@
-.1007/s10849-021-09344-9
@@ Property / DOI: 10.1007/s10849-021-09344-9 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10849-021-09344-9
+Normal rank
@@ Property / OpenAlex ID @@
+W3210588079
@@ Property / OpenAlex ID: W3210588079 / rank @@
+Normal rank
@@ Property / cites work @@
+Informal proofs and mathematical rigour
@@ Property / cites work: Informal proofs and mathematical rigour / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539639
@@ Property / cites work: Q4539639 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-deterministic Multiple-valued Structures
@@ Property / cites work: Non-deterministic Multiple-valued Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logic as dialogical logic
@@ Property / cites work: Modal logic as dialogical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Dugundji's theorem revisited
@@ Property / cites work: Dugundji's theorem revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Note on a property of matrices for Lewis and Langford's calculi of propositions
+Normal rank
@@ Property / cites work @@
+Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
+Normal rank
@@ Property / cites work @@
+Reflecting in epistemic arithmetic
@@ Property / cites work: Reflecting in epistemic arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Provability in principle and controversial constructivistic principles
+Normal rank
@@ Property / cites work @@
+In defense of epistemic arithmetic
@@ Property / cites work: In defense of epistemic arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel’s Disjunction
@@ Property / cites work: Gödel’s Disjunction / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q3101071
@@ Property / cites work: Q3101071 / rank @@
+Normal rank
@@ Property / cites work @@
+MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY
+Normal rank
@@ Property / cites work @@
+Why Do We Prove Theorems?
@@ Property / cites work: Why Do We Prove Theorems? / rank @@
+Normal rank
@@ Property / cites work @@
+A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
+Normal rank
@@ Property / cites work @@
+Epistemic theories and the interpretation of Gödel's incompleteness theorems
+Normal rank
@@ Property / cites work @@
+Q3347874
@@ Property / cites work: Q3347874 / rank @@
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Problem with the Dependence of Informal Proofs on Formal Proofs
+Normal rank
@@ Property / DOI @@
+.1007/S10849-021-09344-9
@@ Property / DOI: 10.1007/S10849-021-09344-9 / rank @@
+Normal rank