Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators.
Andrzej IndrzejczakPublished in: TABLEAUX (2023)
Keyphrases
- general theory
- proof theoretic
- morphological operators
- fixpoint
- stable models
- mathematical morphology
- default reasoning
- linear logic
- nonmonotonic reasoning
- proof theory
- model theoretic
- logic programs
- constraint logic programming
- belief functions
- structuring elements
- deductive databases
- theorem proving
- default logic
- finite state machines
- image analysis
- partial differential equations
- cut elimination
- general purpose