A Note on the Diagonalizable Algebras of PA and ZF.

V. Yu. Shavrukov

Published in: Ann. Pure Appl. Log. (1993)

Keyphrases

temporal reasoning
spatial reasoning
distributive lattices
case study
pattern recognition
onset detection
database
neural network
artificial intelligence
decision making
feature extraction
mobile robot
rough sets
boolean algebra
clifford algebra