Game of grounds
From MaRDI portal
Publication:2080589
DOI10.1007/978-3-030-84706-7_10OpenAlexW4220922009MaRDI QIDQ2080589
Antonio Piccolomini d'Aragona, Davide Catta
Publication date: 9 October 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-84706-7_10
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The epistemic significance of valid inference
- Computational ludics
- Constructivism in mathematics. An introduction. Volume II
- Inference and epistemic transparency
- Dag Prawitz on proofs, operations and grounding
- On paradoxes in normal form
- On the unity of duality
- Validity concepts in proof-theoretic semantics
- Locus Solum: From the rules of logic to the logic of rules
- Ludics with repetitions (Exponentials, Interactive types and Completeness)
- Verificationism and Classical Realizability
- Proof and Paradox
- Logic Programming with Focusing Proofs in Linear Logic
- Meaning and proofs: on the conflict between classical and intuitionistic logic
- On Paradox without Self-Reference
- POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE
- First order in Ludics
- Explaining Deductive Inference
- Necessity of Thought
- A Notion of C-Justification for Empirical Statements
- Proof-theoretic semantics, paradoxes and the distinction between sense and denotation