238 citations · 254 across the 10 of their papers we have counts for
1 paper · 1 filter
Taisuke Sato
We propose a new linear algebraic approach to the computation of Tarskian semantics in logic. We embed a finite model M in first-order logic with N entities in N-dimensional Euclid…