Lattices of Intermediate Theories via Ruitenburg's Theorem.

Gianluca Grilletti Davide Emilio Quadrellaro

Published in: TbiLLC (2019)

Keyphrases

theoretical framework
data sets
domain theory
database
real time
artificial intelligence
decision trees
description logics
situation calculus
intermediate level
von neumann
intuitionistic logic