A logic for natural language

DOI10.1305/NDJFL/1093635837zbMath0746.03018OpenAlexW2163281333MaRDI QIDQ1182709

William C. Purdy

Publication date: 28 June 1992

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635837

zbMATH Keywords

selection operatorssurface reasoningimplicitly many-sorted formal languageparallel reasoningsound and complete axiomatizationsurface language

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Related Items (3)

A simple logic of concepts ⋮ Fluted formulas and the limits of decidability ⋮ A system of relational syllogistic incorporating full Boolean reasoning

This page was built for publication: A logic for natural language