ON COMPLETENESS AND INFERENCE ALGORITHMS OF THE LOGIC WITH IA
Makaleler > Tam Makale · 2017
Yazarlar: Tahsin ÖNER, Selçuk Topal
Journal of Pure and Applied Mathematics: Advances and Applications, Uluslararası, 2017, cilt 18, ss 75-86
DOI: 10.18642/jpamaa_7100121874
Özet
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.