Sciweavers

151 search results - page 1 / 31
» A Comparative Fuzzy Modal Logic
Sort
View
OGAI
1993
13 years 8 months ago
A Comparative Fuzzy Modal Logic
Petr Hájek, Dagmar Harmancová
FSS
2010
119views more  FSS 2010»
13 years 3 months ago
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
Extensions of monoidal t-norm logic MTL and related fuzzy logics with truth stresser modalities such as globalization and “very true” are presented here both algebraically in ...
Agata Ciabattoni, George Metcalfe, Franco Montagna
APAL
2010
97views more  APAL 2010»
13 years 4 months ago
A modal logic framework for reasoning about comparative distances and topology
We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the compari...
Mikhail Sheremet, Frank Wolter, Michael Zakharyasc...
AML
2005
91views more  AML 2005»
13 years 4 months ago
A proof-theoretical investigation of global intuitionistic (fuzzy) logic
We perform a proof-theoretical investigation of two modal predicate logics: global intuitionistic logic GI and global intuitionistic fuzzy logic GIF. These logics were introduced b...
Agata Ciabattoni