Sciweavers

2138 search results - page 2 / 428
» Logical Step-Indexed Logical Relations
Sort
View
LICS
2010
IEEE
13 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