Logical investigations on PTQ arising from programming requirements
From MaRDI portal
Publication:1150589
DOI10.1007/BF00413467zbMath0457.03011MaRDI QIDQ1150589
Publication date: 1980
Published in: Synthese (Search for Journal in Brave)
computational linguistics; Montague grammar; intensional logic; reduction rules; translations of English phrases
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