Game of grounds
type: Item
instance of: scholarly article
title: Game of grounds
DOI: 10.1007/978-3-030-84706-7_10
author: Davide Catta
author: Antonio Piccolomini d'Aragona
publication date: 2022-10-09T00:00:00Z
Mathematics Subject Classification ID: 03-XX
Mathematics Subject Classification ID: 00A30
zbMATH DE Number: 7598442
zbMATH Keywords: grounding
zbMATH Keywords: game
zbMATH Keywords: dialogue
zbMATH Keywords: proof
zbMATH Keywords: pseudo-ground
MaRDI profile type: Publication
full work available at URL: 978-3-030-84706-7 10
OpenAlex ID: W4220922009
cites work: Logic Programming with Focusing Proofs in Linear Logic
cites work: Necessity of Thought
cites work: Q4856189
cites work: Ludics with repetitions (Exponentials, Interactive types and Completeness)
cites work: First order in Ludics
cites work: Q3467536
cites work: Locus solum: From the rules of logic to the logic of rules.
cites work: Q3688389
cites work: Verificationism and Classical Realizability
cites work: On paradoxes in normal form
cites work: Dag Prawitz on proofs, operations and grounding
cites work: POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE
cites work: Q5559220
cites work: Meaning and proofs: on the conflict between classical and intuitionistic logic
cites work: Q4903807
cites work: The epistemic significance of valid inference
cites work: Explaining Deductive Inference
cites work: Validity concepts in proof-theoretic semantics
cites work: Q4903811
cites work: Proof and Paradox
cites work: On Paradox without Self-Reference
cites work: Computational ludics
cites work: Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
cites work: Constructivism in mathematics. An introduction. Volume II
cites work: A Notion of C-Justification for Empirical Statements
cites work: Inference and epistemic transparency
cites work: On the unity of duality
description: scientific article; zbMATH DE number 7598442