A Multi-type Calculus for Inquisitive Logic.

Sabine Frittella Giuseppe Greco Alessandra Palmigiano Fan Yang

Published in: WoLLIC (2016)

Keyphrases

multi type
computer algebra
data objects
natural deduction
relational data
formal language
proof procedure
reverse nearest neighbor
sequent calculus
cost model
modal logic
multiple types
data model
linear logic
tableau calculus