Now showing items 1-3 of 3
A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases speci ed by propositional ...
We present a specialised (polynomial-based) rule for the propositional logic called the Independence Rule, which is useful ...
We present a translation of problems of Formal Context Analysis into ideals problems in F2[x] through the Boolean ...