Paper Info
Title
An extended Gentzen-type formulation of a many-valued modal propositinal logic based on Zadeh's similarity relation
Abstract
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.
Year
DOI
Venue
1999
10.1016/S0165-0114(97)00044-4
Fuzzy Sets and Systems
Keywords
Field
DocType
fuzzy relation,logic,many-valued modal propositinal logic,similarity relation,extended gentzen-type formulation,rough logic,modal logic,many-valued logic,many valued logic,propositional logic
Modal μ-calculus,Discrete mathematics,Accessibility relation,Normal modal logic,Multimodal logic,Propositional calculus,Modal logic,Many-valued logic,Dynamic logic (modal logic),Mathematics
Journal
Volume
Issue
ISSN
101
1
Fuzzy Sets and Systems
Citations 
PageRank 
References 
1
0.51
4
Authors
1
Name
Order
Citations
PageRank
Osamu Morikawa110015.91