Logical investigations on PTQ arising from programming requirements

DOI10.1007/BF00413467zbMath0457.03011OpenAlexW2073981696MaRDI QIDQ1150589

Theo M. V. Janssen

Publication date: 1980

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00413467

zbMATH Keywords

computational linguisticsMontague grammarintensional logicreduction rulestranslations of English phrases

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Artificial intelligence (68T99) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Cites Work

• A parsing method for montague grammars
• Unnamed Item
• Unnamed Item