Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics.

Katsuhiko Sano John G. Stell

Published in: M4M@ICLA (2017)

Keyphrases

computational model
statistical model
formal model
high level
artificial neural networks
prior knowledge
cost function
probabilistic model
probability distribution
computational intelligence
theoretical framework
mathematical model