ON COMPLETENESS AND INFERENCE ALGORITHMS OF THE LOGIC WITH IA
Tahsin Öner, Selçuk Topal · Journal of Pure and Applied Mathematics Advances and Applications · 2017
This paper extends the logic CARD of comparisons between the sizes of sets to the logic CARD with IA which contains intersecting adjectives.We prove completeness of the logics CARD and CARD with IA.We also give algorithmic analysis and some algebraic properties of the logics.