Truth, partial logic and infinitary proof systems (Q1653651): Difference between revisions

@@ Property / author @@
-Martin J. Fischer
@@ Property / author: Martin J. Fischer / rank @@
-Normal rank
@@ Property / author @@
+Martin J. Fischer
@@ Property / author: Martin J. Fischer / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2760247660
@@ Property / OpenAlex ID: W2760247660 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 5
@@ Property / cites work: Handbook of philosophical logic. Vol. 5 / 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 @@
+The truth is never simple
@@ Property / cites work: The truth is never simple / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of proof theory
@@ Property / cites work: Handbook of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on Formal Theories of Truth
@@ Property / cites work: Notes on Formal Theories of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of formal truth arithmetically equivalent to ID<sub>1</sub>
+Normal rank
@@ Property / cites work @@
+Q3058982
@@ Property / cites work: Q3058982 / rank @@
+Normal rank
@@ Property / cites work @@
+AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
@@ Property / cites work: AXIOMATIZING SEMANTIC THEORIES OF TRUTH? / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated reflection over full disquotational truth
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing Kripke's theory of truth
@@ Property / cites work: Axiomatizing Kripke's theory of truth / rank @@
+Normal rank
@@ Property / cites work @@
+On the costs of nonclassical logic
@@ Property / cites work: On the costs of nonclassical logic / rank @@
+Normal rank
@@ Property / cites work @@
+INFINITARY TABLEAU FOR SEMANTIC TRUTH
@@ Property / cites work: INFINITARY TABLEAU FOR SEMANTIC TRUTH / rank @@
+Normal rank
@@ Property / cites work @@
+Some remarks on extending and interpreting theories with a partial predicate for truth
+Normal rank
@@ Property / cites work @@
+Games for Truth
@@ Property / cites work: Games for Truth / rank @@
+Normal rank