ISCAS
Abstract:This paper presents an algorithm of proof search for positive formulas in minimal predicate logic. It is based on the LJB deduction system introduced in [Dowek, G. and Y. Jiang, Eigenvariables, bracketing and the decidability of positive minimal predicate logic, Theoretical Computer Science 360 (2006), pp. 193-208]. ................
................
To fulfill the demand for quickly locating and searching documents.
It is intelligent file search solution for home and business.