Login / Signup
The logic of Boolean matrices.
C. R. Edwards
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