Logic Analysis of Natural Language Based on Predicate Linear Logic
Zuzana Bilanová, Ján Perháč, Eva Chovancová, Martin Chovanec · Acta Polytechnica Hungarica · 2020
This work discusses the formalization of sentence composition and the discovery of the semantic ambiguities of natural language.It also discusses the original connection between the logic area represented by predicate linear logic and ludics, as well as, the linguistic area represented by the Montague grammar.Montague grammar is a linguistic tool that allows analysing sentences in their extensional and intentional contexts.Predicate linear logic is a non-traditional logic of actions and resources where assumptions are consumed after the use of linear implication.Ludics uses proofs from predicate linear logic to analyse the strategies of actors in dialogues.The contribution of this work is to practically demonstrate this approach by translating a natural-language sentence into a predicate linear formula and describe it in time-spatial calculus.