This paper is divided into three parts. In the first part, we review the historical background of a system of logic devised by Henry S. Leonard to allow for reasoning using existence as a predicate.

Abstract: We study predicate logic that is interpreted in Kripke models similarly to intuitionistic logic except that the accessibility relation of each model is not necessarily reflexive. Unlike in ...

Abstract: As Rough Sets and Fuzzy Logic find various applications, several researchers concentrate on hybridizing these techniques. In this line, G.Ganesan et.al., has laid a foundation on hybridized ...

Predicate logic is an extension of propositional logic. Here we consider what is called first-order predicate logic, abbreviated FOL (sometimes abbreviated PL1, not to be confused with the programming ...