A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic.
Manfred DrosteErik PaulPublished in: MFCS (2018)
Keyphrases
- intuitionistic logic
- monadic second order logic
- classical logic
- proof theory
- automated reasoning
- decomposition method
- expressive power
- weighted sum
- image decomposition
- digital circuits
- logic synthesis
- finite state
- regular expressions
- modal logic
- linear logic
- defeasible logic
- monadic datalog
- valued logic
- predicate logic
- information retrieval
- natural language
- multiscale