Monadic pseudo BCI-algebras and corresponding logics.
Xiaolong XinYulong FuYanyan LaiJuntao WangPublished in: Soft Comput. (2019)
Keyphrases
- brain computer interface
- distributive lattices
- expressive power
- valued logic
- motor imagery
- signal processing
- modal logic
- deductive databases
- datalog queries
- boolean algebra
- classical logic
- healthy subjects
- epistemic logic
- relation algebra
- brain wave
- topological spaces
- inference rules
- spatial reasoning
- conditional logic
- proof theory
- spinal cord injury
- eeg data
- propositional dynamic logic
- single trial
- monadic second order logic
- evoked potentials
- neural network
- decision procedures
- datalog programs
- computational properties
- belief functions
- fuzzy sets
- fuzzy logic
- knowledge representation