Paradoxes, intuitionism, and proof-theoretic semantics
From MaRDI portal
Publication:6612875
DOI10.1007/978-3-031-50981-0_12MaRDI QIDQ6612875
Publication date: 1 October 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Intuitionism and the liar paradox
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I.
- Linear logic
- General-elimination harmony and the meaning of the logical constants
- Partial inductive definitions
- Four paradoxes
- Untersuchungen über die Grundlagen der Mengenlehre. I.
- Handbook of philosophical logic. Vol. 5
- Does reductive proof theory have a viable rationale?
- On paradoxes in normal form
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
- On the proof-theoretic foundation of general definition theory
- Proof-theoretic harmony: towards an intensional account
- Solution of a problem of Leon Henkin
- The Mathematics of Sentence Structure
- Der Prädikatenkalkül mit limitierten variablen Grundlegung einer natürlichen exakten Logik
- Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
- Proof and Paradox
- KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES
- Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
- The inconsistency of certain formal logics
- On the Proof-Theoretic Foundations of Set Theory
- Self-contradictory Reasoning
- Open Problems in Proof-Theoretic Semantics
This page was built for publication: Paradoxes, intuitionism, and proof-theoretic semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6612875)
