The following pages link to A logic for natural language (Q1182709):
Displaying 20 items.
- A logic inspired by natural language: quantifiers as subnectors (Q484201) (← links)
- Natural language syntax and first-order inference (Q1193491) (← links)
- Angluin learning via logic (Q1709690) (← links)
- Elements of logic and semantics of relations in a natural-language text (Q1899701) (← links)
- Language and proof theory. Preface to the special issue on ``Proof theory and natural language'' (Q1923834) (← links)
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← links)
- On the design of a natural logic system for knowledge bases (Q2081592) (← links)
- A system of relational syllogistic incorporating full Boolean reasoning (Q2255203) (← links)
- Natural language and logic of agency (Q2255238) (← links)
- Choosing a logic to represent the semantics of natural language (Q2695539) (← links)
- A single-type logic for natural language (Q3465049) (← links)
- (Q4370244) (← links)
- Order-Based Inference in Natural Logic (Q4454091) (← links)
- (Q4732448) (← links)
- Fluted formulas and the limits of decidability (Q4894729) (← links)
- Natural Logic and Semantics (Q4933249) (← links)
- (Q5483314) (← links)
- Logic and Language Models for Computer Science (Q5881590) (← links)
- A simple logic of concepts (Q6156201) (← links)
- Modal syllogistic (Q6599618) (← links)
