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