The following pages link to (Q4843182):
Displayed 42 items.
- ``Inference versus consequence'' revisited: inference, consequence, conditional, implication (Q383072) (← links)
- Intuitionistic completeness of first-order logic (Q392280) (← links)
- Assertion and grounding: a theory of assertion for constructive type theory (Q408330) (← links)
- Figures of dialogue: a view from ludics (Q408341) (← links)
- A modal type theory for formalizing trusted communications (Q420842) (← links)
- Constructive belief reports (Q514084) (← links)
- Constructing situations and time (Q543532) (← links)
- Adjectival and adverbial modification: the view from modern type theories (Q683682) (← links)
- A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions (Q692193) (← links)
- On fuzzy type theory (Q703370) (← links)
- Situations in LTL as strings (Q731890) (← links)
- Inaccessibility in constructive set theory and type theory (Q1295396) (← links)
- A constructive approach to state description semantics (Q1414570) (← links)
- A more general general proof theory (Q1688710) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
- Identity and sortals (and Caesar) (Q1706776) (← links)
- The axioms of constructive geometry (Q1902978) (← links)
- The hole argument, take \(n\) (Q1985882) (← links)
- A computational treatment of anaphora and its algorithmic implementation (Q2035844) (← links)
- Expressing `the structure of' in homotopy type theory (Q2054123) (← links)
- Meaning and computing: two approaches to computable propositions (Q2148782) (← links)
- Natural language inference in Coq (Q2258817) (← links)
- Inverse linking, possessive weak definites and Haddock descriptions: a unified dependent type account (Q2425324) (← links)
- Variable handling and compositionality: comparing DRT and DTS (Q2425327) (← links)
- The assertion-candidate and the meaning of mood (Q2460191) (← links)
- On descriptional propositions in Ibn Sīnā: elements for a logical analysis (Q2658294) (← links)
- Implementing Variable Vectors in a CCG Parser (Q2963994) (← links)
- Proof Assistants for Natural Language Semantics (Q2963996) (← links)
- Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution (Q2964002) (← links)
- The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting (Q3295841) (← links)
- Ludics and Its Applications to Natural Language Semantics (Q3638287) (← links)
- Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach (Q4565827) (← links)
- Type theoretic semantics for SemNet (Q4632324) (← links)
- Context-relative syntactic categories and the formalization of mathematical text (Q4647583) (← links)
- Situations as Strings (Q4917987) (← links)
- Translating between Language and Logic: What Is Easy and What Is Difficult (Q5200012) (← links)
- Machine Translation and Type Theory (Q5253933) (← links)
- Interpreting descriptions in intensional type theory (Q5718672) (← links)
- A type reduction from proof-conditional to dynamic semantics (Q5935790) (← links)
- Propositional forms of judgemental interpretations (Q6053842) (← links)
- Syntactic categories in the language of mathematics (Q6061879) (← links)
- Type theory and the informal language of mathematics (Q6083701) (← links)