Classical Gentzen-type Methods in Propositional Many-valued Logics

Beyond Two: Theory and Applications of Multiple-Valued Logic - Studies in Fuzziness and Soft Computing ◽

10.1007/978-3-7908-1769-0_5 ◽

2003 ◽

pp. 117-155 ◽

Cited By ~ 12

Author(s):

Arnon Avron

Download Full-text