Equivalential Structures for Binary and Ternary Syllogistics

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 R(for all,there exists) and G(for all,there exists) for dealing with inference involving simple s