About this article
Published Online: Jun 04, 2018
Page range: 31 - 43
DOI: https://doi.org/10.2478/sh-2018-0003
Keywords
© 2018 Selçuk Topal, published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
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(∀,∃,
The paper offers three different set-theoretic semantics which are equivalent for the logics.