Sequent of Relations Calculi: A Framework for Analytic Deduction in 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_6 ◽

2003 ◽

pp. 157-180 ◽

Cited By ~ 3

Author(s):

Matthias Baaz ◽

Agata Ciabattoni ◽

Christian G. Fermüller

Download Full-text