A Compact [0, 1]-valued First-order Łukasiewicz Logic with Identity on Hilbert Space.

Daniele Mundici

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

Keyphrases

hilbert space
von neumann
infinite dimensional
multivariate time series
finite dimensional
convex sets
scale spaces
kernel function
first order logic
continuous functions
feature maps
reproducing kernel hilbert space
input data
scale space
temporal data
kernel principal component analysis