Presents a methodology for automated deduction in non-classical logics - a generalization of the logic programming style of deduction, favourable for proof search. The methodology is applied to a range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics.
Loading similar products...
Stay informed about the best deals and price drops. Choose which notifications you'd like to receive from PriceCheck.