What people are saying - Write a review
We haven't found any reviews in the usual places.
NonClassical Logic and Automated TheoremProving
TheoremProving for the Relevant Logic LR
4 other sections not shown
Other editions - View all
algebraic Algorithm Alternative pc Anderson and Belnap applied assessments ATP systems automated theorem-proving axioms Belnap 75 Bibel Chapter checks classical logic closed subtree Computer Science concerning connective rules contraction Curry property database decision problem decision procedure deductive defined Definition derived axioms disjunction Dunn example failed finite formulation of LR Gentzen formulation Gentzen-style given global properties Idempotent inductive hypothesis intuitionistic logic invertible formulas KRIPKE Kripke's L3-provable L5-proof Lemma material implication matrix property McRobbie method modal logic models Morgan monoids multiset multiset containing multiset ft n-ary function n-variable formulas negated Nilsson 80 node_state node-pruning non-classical logics non-monotonic Non-Monotonic Logic normal-forms obstinate nodes parametric positive/negative parts property premiss-sets premisses principal constituent problem proof procedures proof search tree proof-attempt proof-theoretic proper subalgebra propositional logic propositional variables prove pst(a recursive relevant ATP relevant logics Routley semantics sequence Strategy subformulas subset techniques theorem theory unprovable Wrightson