Assertion and grounding: a theory of assertion for constructive type theory

DOI10.1007/S11229-010-9758-7zbMath1235.03023OpenAlexW1976861212MaRDI QIDQ408330

Maria van der Schaar

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

zbMATH Keywords

constructive type theoryassertionjudgement

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65)

Cites Work

• The assertion-candidate and the meaning of mood
• Estimating Multivariate Variance and Covariance Components Using Quadratic and Bilinear Forms
• Vorlesungen ü bergriffsschrift
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Assertion and grounding: a theory of assertion for constructive type theory