scientific article; zbMATH DE number 783772
From MaRDI portal
Publication:4843182
zbMath0855.68073MaRDI QIDQ4843182
Publication date: 10 August 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Natural language processing (68T50)
Related Items
Meaning and computing: two approaches to computable propositions ⋮ The axioms of constructive geometry ⋮ Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach ⋮ On descriptional propositions in Ibn Sīnā: elements for a logical analysis ⋮ ``Inference versus consequence revisited: inference, consequence, conditional, implication ⋮ Intuitionistic completeness of first-order logic ⋮ Propositional forms of judgemental interpretations ⋮ Syntactic categories in the language of mathematics ⋮ A more general general proof theory ⋮ Type theory and the informal language of mathematics ⋮ Assertion and grounding: a theory of assertion for constructive type theory ⋮ Figures of dialogue: a view from ludics ⋮ Reprint of: ``A more general general proof theory ⋮ Inverse linking, possessive weak definites and Haddock descriptions: a unified dependent type account ⋮ Variable handling and compositionality: comparing DRT and DTS ⋮ A modal type theory for formalizing trusted communications ⋮ Implementing Variable Vectors in a CCG Parser ⋮ Proof Assistants for Natural Language Semantics ⋮ Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution ⋮ Identity and sortals (and Caesar) ⋮ A constructive approach to state description semantics ⋮ The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting ⋮ Type theoretic semantics for SemNet ⋮ The assertion-candidate and the meaning of mood ⋮ The hole argument, take \(n\) ⋮ Context-relative syntactic categories and the formalization of mathematical text ⋮ Constructive belief reports ⋮ Interpreting descriptions in intensional type theory ⋮ Adjectival and adverbial modification: the view from modern type theories ⋮ Situations as Strings ⋮ A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions ⋮ Natural language inference in Coq ⋮ Constructing situations and time ⋮ A type reduction from proof-conditional to dynamic semantics ⋮ On fuzzy type theory ⋮ Translating between Language and Logic: What Is Easy and What Is Difficult ⋮ A computational treatment of anaphora and its algorithmic implementation ⋮ Situations in LTL as strings ⋮ Expressing `the structure of' in homotopy type theory ⋮ Ludics and Its Applications to Natural Language Semantics ⋮ Inaccessibility in constructive set theory and type theory ⋮ Machine Translation and Type Theory
