Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics.

Szabolcs Mikulás

Published in: Stud Logica (2015)

Keyphrases

propositional calculus
expressive power
modal logic
linearly ordered
genetic algorithm
significantly lower
ordered sets
database systems
multiscale
data structure
databases
conditional logic
truth values
range searching
proof theory
data mining
neural network