Publisher
Springer Nature Singapore
Reference10 articles.
1. A. Avron, Natural 3-valued logics: characterization and proof theory. J. Symb. Logic 56, 276–294 (1991)
2. A. Avron, Gentzen-type systems, resolution and tableaux. J. Autom. Reason. 10, 265–281 (1993)
3. M. Baaz, C.G. Fermüller, G. Salzer, R. Zach, Labeled calculi and finite-valued logics. Stud. Logica 61, 7–33 (1998)
4. W. Li, Y. Sui, Multisequent Gentzen deduction systems for $${\bf B}_{2}^{2}$$-valued first-order logic. Artif. Intell. Res. 7, 53- (2018)
5. G. Malinowski, Many-valued logic and its philosophy, in The Many Valued and Nonmonotonic Turn in Logic, ed. by D.M. Gabbay, J. Woods. Handbook of the History of Logic, vol. 8 (Elsevier, 2009)