In the first part of this paper, the concept of logical reduction is presented. Minimal preferred variable inequalities are introduced, and algorithms are given for their calculation. A simple ...

The Journal of Logic, Language and Information explores the foundations of natural, formal, and programming languages, as well as the different forms of human and mechanized inference. It covers the ...