A Proof Calculus for Automated Deduction in Propositional Product Logic
Propositional product logic belongs to the basic fuzzy logics with continuous t-norms using the product t-norm (defined as the ordinary product of real numbers) on the unit interval [0,1].This paper introduces a proof calculus for the product logic which is suitable for automated deduction.The calculus provides one of possible Network Signal Extend