Return to Article Details On Some Universal Propositional Proof Systems for Many-Valued Logic Download Download PDF