Propositional forms of judgemental interpretations

DOI10.1007/s10849-023-09397-yOpenAlexW4367837044MaRDI QIDQ6053842

Tao Xue, Stergios Chatzikyriakidis, Zhaohui Luo

Publication date: 24 October 2023

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-023-09397-y

zbMATH Keywords

formal semanticstype theoryjudgemental interpretation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Adjectival and adverbial modification: the view from modern type theories
• Combinatory logic. With two sections by William Craig.
• Coercive subtyping: theory and implementation
• Natural language inference in Coq
• Proof Assistants for Natural Language Semantics
• The Montagovian generative lexicon ΛTyn: a type theoretical framework for natural language semantics
• Contextual Analysis of Word Meanings in Type-Theoretical Semantics
• Records and Record Types in Semantic Theory
• Coercive subtyping
• The view from the left
• Common Nouns as Types
• Dot-types and Their Implementation
• Representing Anaphora with Dependent Types
• Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?
• Dynamic predicate logic
• Completeness in the theory of types
• An implementation of LF with coercive subtyping and universes

This page was built for publication: Propositional forms of judgemental interpretations