On the concurrent computational content of intermediate logics.

Federico Aschieri Agata Ciabattoni Francesco A. Genco

Published in: Theor. Comput. Sci. (2020)

Keyphrases

expressive power
computational power
databases
information retrieval
metadata
knowledge base
case study
first order logic
web content
classical logic