Return to Article Details Three-valued matrices with classical consequence relation for an arbitrary propositional language Download Download PDF