Some connections between universal algebra and logics for trees.

Mikolaj Bojanczyk Henryk Michalewski

Published in: CoRR (2017)

Keyphrases

decision trees
expressive power
data model
relational algebra
modal logic
tree nodes

set theory
tree structure
algebraic expressions
binary trees
tree models
nonmonotonic logics

inference rules
website
multi valued
decision procedures
data structure
learning algorithm

machine learning
proof theory
neural network
propositional calculus
database