On a Generalization of Pseudo MV-Algebras Quasi-matrix Logic.
Jan KührPublished in: J. Multiple Valued Log. Soft Comput. (2006)
Keyphrases
- distributive lattices
- boolean algebra
- relation algebra
- logic programming
- modal logic
- automated reasoning
- proof theory
- set theory
- similarity matrix
- linear algebra
- multi valued
- topological spaces
- computational properties
- clifford algebra
- predicate logic
- formal logic
- singular value decomposition
- sound and complete axiomatization
- matrix representation
- asynchronous circuits
- classical logic
- logical framework
- spatial reasoning
- matrix factorization
- covariance matrix