A Compact [0,1]-valued First-order Lukasiewicz Logic with Identity on Hilbert Space (Q3006601)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Compact [0,1]-valued First-order Lukasiewicz Logic with Identity on Hilbert Space |
scientific article |
Statements
A Compact [0,1]-valued First-order Lukasiewicz Logic with Identity on Hilbert Space (English)
0 references
20 June 2011
0 references
first-order Łukasiewicz logic
0 references
many-valued logic
0 references
compact logic
0 references
Łukasiewicz calculus
0 references
Skolemization
0 references
Skolem normal form
0 references
Hilbert space
0 references
Kolmogorov dilation
0 references
positive definite kernel
0 references
reproducing kernel
0 references
correlation matrix
0 references
positive semidefinite matrix
0 references
Tarski-Seidenberg decision method
0 references
