The Logic of Prefixes and Suffixes is Elementary under Homogeneity.

Dario Della Monica Angelo Montanari Gabriele Puppis Pietro Sala

Published in: CoRR (2023)

Keyphrases

set theory
variable length
n gram
logic programming
classical logic
modal logic
logical framework
database
automated reasoning
defeasible logic
predicate logic
deductive reasoning
proof theory
dynamic logic
fuzzy connectedness
formal theory
truth values
suffix tree
index structure
website
genetic algorithm
databases