ON COMPLETENESS AND INFERENCE ALGORITHMS OF THE LOGIC WITH IA
Articles > Article · 2017
Authors: Tahsin ÖNER, Selçuk Topal
Journal of Pure and Applied Mathematics: Advances and Applications, International, 2017, vol 18, pp 75-86
DOI: 10.18642/jpamaa_7100121874
Summary
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.