Sciweavers

2138 search results - page 2 / 428
» Logical Step-Indexed Logical Relations
Sort
View
124
Voted
EUSFLAT
2009
120views Fuzzy Logic» more  EUSFLAT 2009»
15 years 3 months ago
Characterizing Fuzzy Modal Semantics by Fuzzy Multimodal Systems with Crisp Accessibility Relations
Félix Bou, Francesc Esteva, Lluis Godo, Ric...
172
Voted
LICS
2010
IEEE
15 years 4 months ago
On Strong Maximality of Paraconsistent Finite-Valued Logics
Abstract—Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain as much as possible fro...
Arnon Avron, Ofer Arieli, Anna Zamansky