A logic for natural language

From MaRDI portal

Revision as of 00:08, 30 January 2024 by Import240129110155 (talk | contribs) (Created automatically from import240129110155)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1182709

Jump to:navigation, search

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 operators surface reasoning implicitly many-sorted formal language parallel reasoning sound and complete axiomatization surface 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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1182709&oldid=12045267"