Volume no :18, Issue no: 2, November (2017)

Journal of Pure and Applied Mathematics: Advances and Applications

ON COMPLETENESS AND INFERENCE ALGORITHMS OF THE LOGIC WITH IA

Author's: Tahsin Öner and Selçuk Topal
Pages: [75] - [86]
Received Date: October 8, 2017
Submitted by:
DOI: http://dx.doi.org/10.18642/jpamaa_7100121874

Abstract

This paper extends the logic of comparisons between the sizes of sets to the logic with IA which contains intersecting adjectives. We prove completeness of the logics and with IA. We also give algorithmic analysis and some algebraic properties of the logics.

Keywords

logic of natural languages, algorithms, completeness.