The Finite Model Property for Various Fragments of Intuitionistic Linear Logic.

Mitsuhiro Okada Kazushige Terui

Published in: J. Symb. Log. (1999)

Keyphrases

linear logic
high level
probabilistic model
artificial intelligence
probability distribution
programming language
fuzzy sets