How big is BCI fragment of BCK logic.

Katarzyna Grygiel Pawel M. Idziak Marek Zaionc

Published in: J. Log. Comput. (2013)

Keyphrases

brain computer interface
signal processing
motor imagery
predicate logic
modal logic
multi valued
classical logic
digital circuits
automated reasoning
natural deduction
machine learning
logic programming
computational properties
brain wave