O. Morikawa, An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation, FUZ SET SYS, 101(1), 1999, pp. 115-123
The main purpose of this paper is to present an extended Gentzen-type formu
lation of a many-valued modal propositional logic based on Zadeh's similari
ty relation. (C) 1999 Elsevier Science B.V. All rights reserved.