Open Access

On Logics of Transitive Verbs With and Without Intersective Adjectives

  
Jun 04, 2018

Cite
Download Cover

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.