An extended Gentzen-type formulation of
โ
Osamu Morikawa
๐
Article
๐
1999
๐
Elsevier Science
๐
English
โ 427 KB
The main purpose of this paper is to present an extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation.