Lyndon's interpolation property for the logic of strict implication.
Narbe AboolianMajid AlizadehPublished in: Log. J. IGPL (2022)
Keyphrases
- desirable properties
- classical logic
- interpolation algorithm
- logic programming
- automated reasoning
- set theory
- logical implication
- asynchronous circuits
- deontic logic
- modal logic
- interpolation methods
- multi valued
- defeasible logic
- horn clauses
- artificial intelligence
- functional dependencies
- motion estimation
- knowledge representation
- bayesian networks