Pairs of disjoint sets (orthopairs) naturally arise or have points in common with many tools to
manage uncertainty: rough sets, shadowed sets, version spaces, three-valued logics, etc …

Equilibrium logic is a general purpose nonmonotonic reasoning formalism closely aligned
with answer set programming (ASP). In particular it provides a logical foundation for ASP as …

While studying rough equality within the framework of the modal system S 5, an algebraic
structure called rough algebra [1], came up. Its features were abstracted to yield a …

The book presents a thoroughly elaborated logical theory of generalized truth-values
understood as subsets of some established set of (basic) truth values. After elucidating the …

Three-valued logics arise in several fields of computer science, both inspired by concrete
problems (such as in the management of the null value in databases) and theoretical …

The construction of any broadly understood theory of information or infor mation processing
system involves two major methodological processes:(1) abstraction and analysis,(2) …

We introduce two-dimensional logics based on Łukasiewicz and Gödel logics to formalize
reasoning with graded, incomplete and inconsistent information. The logics are interpreted …

Various four-and three-valued modal propositional logics are studied. The basic systems are
modal extensions BK and BS4 of Belnap and Dunn's four-valued logic of firstdegree …

In this paper, a family of paraconsistent propositional logics with constructive negation,
constructive implication, and constructive co-implication is introduced. Although some …

The collection of all subsets of a set forms a Boolean algebra under the usual set-theoretic
operations, while the collection of rough sets of an approximation space is a regular double …