Logical investigations on PTQ arising from programming requirements

DOI10.1007/BF00413467zbMath0457.03011MaRDI QIDQ1150589

Theo M. V. Janssen

Publication date: 1980

Published in: Synthese (Search for Journal in Brave)

zbMATH Keywords

computational linguistics; Montague grammar; intensional logic; reduction rules; translations of English phrases

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

68T99: Artificial intelligence

03-04: Software, source code, etc. for problems pertaining to mathematical logic and foundations

Cites Work

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