The logic of Boolean matrices.

Published in: Comput. J. (1972)

Keyphrases

covariance matrices
boolean logic
multi valued
boolean functions
real valued
truth table
logic programming
proof theory
automated reasoning
modal logic
logical framework
computational properties
set theory
boolean queries
epistemic logic
deontic logic
neural network