Multi-type Display Calculus for Semi De Morgan Logic.

Giuseppe Greco Fei Liang M. Andrew Moshier Alessandra Palmigiano

Published in: WoLLIC (2017)

Keyphrases

multi type
relational data
computer algebra
natural deduction
data objects
formal language
proof procedure
reverse nearest neighbor
cost model
modal logic
sequent calculus
multiple types
multi dimensional
data sets
data management
information extraction
knn
data structure