Analytic Calculi for Non-Classical Logics: Theory and Applications.

Agata Ciabattoni

Published in: CSL (2016)

Keyphrases

theoretical basis
theoretical framework
general theory
database
web services
search algorithm
control system
theoretical foundation
qualitative reasoning
formal theory