Algebras and Matrices for Annotated Logics.

Renato A. Lewin Irene F. Mikenberg María G. Schwarze

Published in: Stud Logica (2000)

Keyphrases

expressive power
modal logic
singular value decomposition
manually annotated
inference rules
projection matrices
neural network
decision procedures
pairwise comparison
propositional calculus
sparse matrix
epistemic logic
matrix representation
annotated corpus