Assertion and grounding: a theory of assertion for constructive type theory (original) (raw)
Related papers
Dialogical Logic and Constructive Type Theory New Explorations
Shahid Rahman, Shahid Rahman, Lily Gallois
CONSTRUCTIVE TYPE THEORY, AN APPETIZER
Higher-Order Metaphysics, 2023
An overview of Constructive Type Theory
Introduction: Modern Perspectives in Type Theoretical Semantics
2017
Proof-theoretic type interpretation: a glimpse to proof-theoretic semantics
On the strength of proof-irrelevant type theories
Logical Methods in Computer Science, 2008
Axiomathes, 2014
Synthese Library
Research Agendas, Inquiries and Answers in Constructive Type Theory
Hans Christian Nordtveit Kvernenes
A brief introduction to Martin-Löf's type theory
Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?
Lecture Notes in Computer Science, 2014
Proof Irrelevance in Type-Theoretical Semantics
Studies in Computational Intelligence, 2019
Belief Revision In Constructive Type Theory
Logica 2005 Yearbook, 2006
On Proofs and Types in Second Order Logic
2015
Inductive Definitions and Type Theory: An Introduction
2007
Constructive Type Theory and the Dialogical Approach to Meaning
A Type Theory with Re ection by
2012
Provability in Elementary Type Theory
Mathematical Logic Quarterly - MLQ, 1974
Aristotle and Constructive Type Theory
A Modern Perspective on Type Theory From its Origins until Today
Journal of Logic, Language and Information, 2006
2015
Stanford Encyclopedia of Philosophy, 2016
Constructive logic and type theory
2004
Practical forms of type theory
The Journal of Symbolic Logic, 1948
Type-theoretic logic with an operational account of intensionality
Synthese, 2014
Program Testing and the Meaning Explanations of Intuitionistic Type Theory
Epistemology versus Ontology, 2012
Abstract Interpretation of Constructive Type Theory
1996
Classical Predicative Logic-Enriched Type Theories
A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations
Lecture Notes in Computer Science, 2007
The C account of assertion: a negative result
Synthese, 2018
Against Cumulative Type Theory
The Review of Symbolic Logic, 2021
Formal Semantics in Modern Type Theories: Theory and Implementation
2014