On the horizontal compression of dag-derivations in minimal purely implicational logic.
Edward Hermann HaeuslerJosé Flávio Cavalcante Barros JuniorPublished in: CoRR (2022)
Keyphrases
- directed acyclic graph
- logic programming
- inference rules
- data compression
- automated reasoning
- modal logic
- compression ratio
- image compression
- proof theory
- compression algorithm
- logical framework
- deontic logic
- predicate logic
- computational properties
- compression rate
- multi valued
- classical logic
- truth values
- epistemic logic
- logic programs
- minimal models
- directed acyclic