On an axiomatic system for the logic of linearly ordered BCI-matrices.

San-Min Wang Daowu Pei

Published in: Arch. Math. Log. (2012)

Keyphrases

linearly ordered
truth values
brain computer interface
multi valued
signal processing
logic programming
singular value decomposition
inference rules
motor imagery
modal logic
databases
graphical models
brain signals