BCK and BCI Logics, Condensed Detachment and the 2-Property.

J. Roger Hindley

Published in: Notre Dame J. Formal Log. (1993)

Keyphrases

brain computer interface
signal processing
expressive power
modal logic
motor imagery
real time
information systems
case study
pattern recognition
inference rules
brain wave