Propositional forms of judgemental interpretations

DOI10.1007/S10849-023-09397-YMaRDI QIDQ6053842zbMATH OpenOpenAlexFDO

Authors Tao Xue, Zhaohui Luo, Stergios Chatzikyriakidis

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 semanticsjudgemental interpretationtype theory

Mathematics Subject Classification ID

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

Recommendations

• Semantics of constructions. I: The traditional approach
• On specifications, subset types and interpretation of proposition in type theory
• Adjectival and adverbial modification: the view from modern type theories
• Integrating classical and intuitionistic type theory
• scientific article; zbMATH DE number 1241699

Cites work

• Adjectival and adverbial modification: the view from modern type theories
• An implementation of LF with coercive subtyping and universes
• Coercive subtyping
• Coercive subtyping: theory and implementation
• Combinatory logic. With two sections by William Craig.
• Common nouns as types
• Completeness in the theory of types
• Contextual analysis of word meanings in type-theoretical semantics
• Dot-types and their implementation
• Dynamic predicate logic
• Formal semantics in modern type theories: is it model-theoretic, proof-theoretic, or both?
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 3531346 (Why is no real title available?)
• scientific article; zbMATH DE number 591911 (Why is no real title available?)
• scientific article; zbMATH DE number 1028823 (Why is no real title available?)
• scientific article; zbMATH DE number 1501611 (Why is no real title available?)
• scientific article; zbMATH DE number 2085175 (Why is no real title available?)
• scientific article; zbMATH DE number 783772 (Why is no real title available?)
• Modeling contexts with dependent types
• Natural language inference in Coq
• Proof assistants for natural language semantics
• Records and Record Types in Semantic Theory
• Representing anaphora with dependent types
• The Montagovian generative lexicon Ty_n: a type theoretical framework for natural language semantics
• The view from the left

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6053842)