A two-variable fragment of English

DOI10.1023/A:1021149027971MaRDI QIDQ1868487zbMATH OpenOpenAlexFDO

Authors Ian Pratt-Hartmann

Publication date 27 April 2003

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1021149027971

zbMATH Keywords

controlled languageslogicnatural languagespecificationtwo-variable fragment of first-order logic

Mathematics Subject Classification ID

Logic of natural languages (03B65) Natural language processing (68T50)

Recommendations

• Fragments of language
• Querying the fragments of English
• Logical Aspects of Computational Linguistics
• Double-quantified linguistic variable
• On fragments of words
• More fragments of language.
• The two-variable fragment with counting and equivalence
• Two variable fragment of term modal logic
• Two components of an action language
• Language of Lyndon partial words

Cited in

(9)

• Fragments of language
• A principled approach to grammars for controlled natural languages and predictive editors
• Querying the fragments of English
• Logics for two fragments beyond the syllogistic boundary
• Logical Aspects of Computational Linguistics
• Designing efficient controlled languages for ontologies
• Tractability and intractability of controlled languages for data access
• Simply-typed constant-domain modal lambda calculus. I: Distanced beta reduction and combinatory logic
• More fragments of language.

This page was built for publication: A two-variable fragment of English

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1868487)