Abstract
AbstractWe add MostXareYto the syllogistic logic of AllXareYand SomeXareY. We prove soundness, completeness, and decidability in polynomial time. Our logic has infinitely many rules, and we prove that this is unavoidable.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have