Assertion and grounding: a theory of assertion for constructive type theory
From MaRDI portal
Publication:408330
DOI10.1007/S11229-010-9758-7zbMath1235.03023OpenAlexW1976861212MaRDI QIDQ408330
Publication date: 5 April 2012
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-010-9758-7
Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65)
Cites Work
This page was built for publication: Assertion and grounding: a theory of assertion for constructive type theory