Publisher
Springer Nature Singapore
Reference11 articles.
1. Avron, A.: Hypersequents, logical consequence and intermediate logics for concurrency. Ann. Math. Artif. Intell. 4, 225–248 (1991)
2. Baaz, M., Zach, R.: Hypersequent and cut-elimination for intuitionistic fuzzy logic. In: Clote, P.G., Schwichtenberg, H., (eds.), Computer Science Logic, Proceedings of the CSL’2000, LNCS 1862, pp. 178–201. Springer
3. Bochvar, D.A.: On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus. Hist. Philos. Log. 2, 87–112 (1938)
4. Fitting, M.C.: Many-valued modal logics (I,II), Fundamenta Informaticae, 15(1991), 235–254; 17(1992), 55–73
5. Gottwald, S.: A treatise on many-valued logics. Studies in Logic and Computation, vol. 9. Research Studies Press Ltd., Baldock (2001)