Optimization Methods for Logical Inference

Propositional Logic: Special Cases. Propositional Logic: The General Case. Probabilistic and Related Logics. Predicate Logic. Nonclassical and Many--Valued Logics. Appendix. Bibliography. Index.