The finite model property for semilinear substructural logics.

Published in: Math. Log. Q. (2013)

Keyphrases

computational model
probabilistic model
management system
mathematical model
experimental data
knowledge base
high level
similarity measure
prior knowledge
theoretical framework
statistical model
formal model
probability distribution
object model
network model
autoregressive