✦ LIBER ✦

An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation

✍ Scribed by Osamu Morikawa

Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 427 KB
Volume: 101
Category: Article
ISSN: 0165-0114
DOI: 10.1016/s0165-0114(97)00044-4

No coin nor oath required. For personal study only.

✦ Synopsis

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.