On Logics of Transitive Verbs With and Without Intersective Adjectives

The purpose of this paper is to contribute to the natural logic program which invents logics in natural language. This study presents two logics: a logical system called d R(∀,∃) containing transitive verbs and a more expressive logical system R(∀,∃, IA) containing both transitive verbs and intersective adjectives.

The paper offers three different set-theoretic semantics which are equivalent for the logics.