scientific article; zbMATH DE number 783772
From MaRDI portal
Publication:4843182
Recommendations
Cited in
(58)- Inaccessibility in constructive set theory and type theory
- A constructive approach to state description semantics
- A more general general proof theory
- Reprint of: ``A more general general proof theory
- Identity and sortals (and Caesar)
- The axioms of constructive geometry
- The hole argument, take \(n\)
- A computational treatment of anaphora and its algorithmic implementation
- Expressing `the structure of' in homotopy type theory
- Meaning and computing: two approaches to computable propositions
- Natural language inference in Coq
- Inverse linking, possessive weak definites and Haddock descriptions: a unified dependent type account
- Variable handling and compositionality: comparing DRT and DTS
- The assertion-candidate and the meaning of mood
- On descriptional propositions in Ibn Sīnā: elements for a logical analysis
- Unique typed basic categorial grammars
- Implementing variable vectors in a CCG parser
- Proof assistants for natural language semantics
- Type reconstruction for -DRT applied to pronoun resolution
- The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting
- Dependently Typed Grammars
- From word to sentence. A computational algebraic approach to grammar
- Ludics and Its Applications to Natural Language Semantics
- ``Inference versus consequence revisited: inference, consequence, conditional, implication
- Intuitionistic completeness of first-order logic
- Assertion and grounding: a theory of assertion for constructive type theory
- Figures of dialogue: a view from ludics
- A modal type theory for formalizing trusted communications
- scientific article; zbMATH DE number 1341540 (Why is no real title available?)
- scientific article; zbMATH DE number 1156048 (Why is no real title available?)
- scientific article; zbMATH DE number 1175489 (Why is no real title available?)
- Algorithmic theories of problems. A constructive and a non-constructive approach
- Type theoretic semantics for SemNet
- Context-relative syntactic categories and the formalization of mathematical text
- Situations as Strings
- Constructive belief reports
- Translating between language and logic: what is easy and what is difficult
- Machine Translation and Type Theory
- Constructing situations and time
- Interpreting descriptions in intensional type theory
- A type reduction from proof-conditional to dynamic semantics
- Propositional forms of judgemental interpretations
- Syntactic categories in the language of mathematics
- Type theory and the informal language of mathematics
- Gradability in MTT-Semantics
- Ibn Ḥazm on heteronomous imperatives. A landmark in the history of the logical analysis of norms
- Adjectival and adverbial modification: the view from modern type theories
- A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions
- The quantum monadology
- Vindicating the future. A dialogical stance on Belnap's approach to Tomorrow's Sea Battle
- Dialogical logic and constructive type theory: new explorations
- On fuzzy type theory
- Polyadic quantifiers on dependent types
- A dependently-typed calculus of event telicity and culminativity
- Variable polyadicity without events: a type-theoretic analysis of event semantics
- Subtype universes
- Mathematical structures in natural language semantics: Zawadowski's contribution to linguistics
- Situations in LTL as strings
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4843182)
