On the costs of classical logic
From MaRDI portal
Cites work
- A theory of formal truth arithmetically equivalent to ID1
- Axiomatic theories of truth
- Axiomatizing Kripke's theory of truth
- Axiomatizing semantic theories of truth?
- scientific article; zbMATH DE number 5959536 (Why is no real title available?)
- scientific article; zbMATH DE number 3987249 (Why is no real title available?)
- scientific article; zbMATH DE number 50690 (Why is no real title available?)
- scientific article; zbMATH DE number 3532923 (Why is no real title available?)
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- scientific article; zbMATH DE number 2229037 (Why is no real title available?)
- Iterated reflection over full disquotational truth
- Notes on Formal Theories of Truth
- On the costs of nonclassical logic
- Outline of a Theory of Truth
- Proof theory. 2nd ed
- Proof theory. The first step into impredicativity
- Provably true sentences across axiomatizations of Kripke's theory of truth
- Reflecting on incompleteness
- Relative Truth Definability of Axiomatic Truth Theories
- Saving the truth schema from paradox
- Saving truth from paradox
- Some remarks on extending and interpreting theories with a partial predicate for truth
- Supervaluation fixed-point logics of truth
- Supervaluation-style truth without supervaluations
- Systems of predicative analysis, II: Representations of ordinals
- The logic of paradox
- Toward useful type-free theories. I
- Truth in a logic of formal inconsistency: how classical can it get?
- Truth, partial logic and infinitary proof systems
- Truths, inductive definitions, and Kripke-Platek systems over set theory
- Understanding truth
This page was built for publication: On the costs of classical logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7228385)
