Abstract

The aim of this paper is to provide a contribution to the natural logic program which explores logics in natural language. The paper offers two logics called \ \) and \ \) for dealing with inference involving simple sentences with transitive verbs and ditransitive verbs and quantified noun phrases in subject and object position. With this purpose, the relational logics are introduced and a model-theoretic proof of decidability for they are presented. In the present paper we develop algebraic semantics of the logics using congruence theory.