Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations.

Pawel Pawlowski

Published in: Logica Universalis (2020)

Keyphrases

distributed systems
intelligent systems
tree structure
binary tree
data structure
management system
index structure
learning systems
hierarchical structure
b tree