Semi-Substructural Logics with Additives.

Niccolò Veltri Cheng-Syuan Wan

Published in: CoRR (2024)

Keyphrases

propositional calculus
expressive power
modal logic
databases
three dimensional
proof theory
data sets
real world
information retrieval
genetic algorithm
learning algorithm
bayesian networks
multiscale
relational databases
higher order
classical logic