Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions

Open in new window