60 research outputs found
Information completeness in Nelson algebras of rough sets induced by quasiorders
In this paper, we give an algebraic completeness theorem for constructive
logic with strong negation in terms of finite rough set-based Nelson algebras
determined by quasiorders. We show how for a quasiorder , its rough
set-based Nelson algebra can be obtained by applying the well-known
construction by Sendlewski. We prove that if the set of all -closed
elements, which may be viewed as the set of completely defined objects, is
cofinal, then the rough set-based Nelson algebra determined by a quasiorder
forms an effective lattice, that is, an algebraic model of the logic ,
which is characterised by a modal operator grasping the notion of "to be
classically valid". We present a necessary and sufficient condition under which
a Nelson algebra is isomorphic to a rough set-based effective lattice
determined by a quasiorder.Comment: 15 page
Representation of Nelson Algebras by Rough Sets Determined by Quasiorders
In this paper, we show that every quasiorder induces a Nelson algebra
such that the underlying rough set lattice is algebraic. We
note that is a three-valued {\L}ukasiewicz algebra if and only if
is an equivalence. Our main result says that if is a Nelson
algebra defined on an algebraic lattice, then there exists a set and a
quasiorder on such that .Comment: 16 page
Representative Set of Objects in Rough Sets Based on Galois Connections
This paper introduces a novel definition, called representative set of objects of a decision class, in the framework of decision systems based on rough sets. The idea behind such a notion is to consider subsets of objects that characterize the different classes given by a decision system. Besides the formal definition of representative set of objects of a decision class, we present different mathematical properties of such sets and a relationship with classification tasks based on rough sets. © 2020, Springer Nature Switzerland AG
Rough Sets Determined by Quasiorders
In this paper, the ordered set of rough sets determined by a quasiorder
relation is investigated. We prove that this ordered set is a complete,
completely distributive lattice. We show that on this lattice can be defined
three different kinds of complementation operations, and we describe its
completely join-irreducible elements. We also characterize the case in which
this lattice is a Stone lattice. Our results generalize some results of J.
Pomykala and J. A. Pomykala (1988) and M. Gehrke and E. Walker (1992) in case
is an equivalence.Comment: 18 pages, major revisio
Il mestiere della guerra. Dai mercenari ai nuovi manager della sicurezza
Il fenomeno risale agli anni Novanta, ma solo gli specialisti ne sono a conoscenza. Si tratta delle nuove compagnie di ventura, le società private militari, Private military companies, (Pmc) che traggono il loro punto di forza da una struttura societaria articolata e complessa. Esse sono specializzate nella gestione della sicurezza e della guerra a livello mondiale, dove la statualità è in declino e il monopolio della forza in sfacelo. L'Africa è il loro terreno di coltura: Congo, Angola e Sierra Leone sono i tre case-studies analizzati nel libro, paesi ricchi di risorse minerarie ed energetiche, dove le Pmc con poche centinaia di uomini, sono intervenute in situazioni d'instabilità politico-militare.
Ma non è solo l'Africa il campo d'azione di tali armate private: negli Stati Uniti, un ruolo sempre più trainante è ricoperto dall'industria dei contractors , giganti economici a cui il Pentagono e il Dipartimento di Stato affidano i servizi militari, logistici e d' intelligence per sostenere la crescente presenza della macchina bellica americana nel mondo. Pmc e contractors rappresentano con i loro corporate warriors quindi due aspetti diversi della privatizzazione dell'uso della forza. Il libro, articolato su due piani di ricerca-studio e di attualità, tenta un'analisi sistematica e approfondita del fenomeno, ed è il frutto di lunghi soggiorni all'estero e di accurate indagini. In un mondo globalizzato che anela alla sicurezza si delinea così una nuova concezione della guerra che prefigura una parallela "privatizzazione della pace". Il tutto nell'inquietante assenza di una normativa a livello internazionale e locale che definisca e delimiti il ruolo e l'attività di questi nuovi attori nel palcoscenico mondiale
- …