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.
Free easy-to-follow course for anyone in South Africa who wants to learn how to start a digital business.