Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics.

Vitor Greati João Marcos

Published in: IJCAR (2022)

Keyphrases

management system
three dimensional
intelligent systems
proof theory
finite number
computer systems
distributed systems
propositional logic
inference rules
integrity constraints
expressive power
data sets
multi dimensional
data model
expert systems
social networks
artificial intelligence
neural network