Effectiveness of the Completeness Theorem for an Intermediate Logic.

Hajime Ishihara Bakhadyr Khoussainov

Published in: J. Univers. Comput. Sci. (1997)

Keyphrases

intuitionistic logic
database
machine learning
control system
multi valued
linear logic
proof theoretic
data sets
relational databases
logic programming