Is cut-free logic fit for unrestricted abstraction?
Uwe PetersenPublished in: Ann. Pure Appl. Log. (2022)
Keyphrases
- data sets
- modal logic
- bounded model checking
- logic programming
- predicate logic
- high level
- classical logic
- data mining
- sound and complete axiomatization
- multi valued
- logic programs
- database
- automated reasoning
- video sequences
- database systems
- set theory
- digital circuits
- website
- asynchronous circuits
- proof theory
- information retrieval
- complete axiomatization
- databases