Abstract The current crisis in the relationship between Polish Constitutional Court and of Justice European Union (ECJ) is crucial significance for process regional integration based on values liberal democracy taking place EU. constitutional Poland that began end 2015 has challenged systemic position Court. It resulted a new model adjudication, this Court, stripped its counter-majoritarian pow...

We point out the striking similarity between decision under uncertainty and multicriteria decision making problems, two areas which have been developed in an almost completely independent way until now. This pertains both to additive and non-additive (including qualitative) approaches existing for the two decision paradigms. This leads to emphasize the remarkable formal equivalence between post...

In this paper rst we dene the notions of positive implicativehyper MV -ideals of types 1,2,3 and 4 in hyper MV -algebras and we investigatethe relationship between of them . Then by some examples we show that thesenotions are not equivalent. Finally we give some relations between these notionsand the notions of (weak) hyper MV -ideals and (weak) hyper MV -deductivesystems of hyper MV -algebras.

There are hypotheses in the history of human culture and civilization in which we can find undeniable similarities and commonalities among them, despite their vastly different cultural and historical contexts. For example, finding commonalities between the language of two artistic aesthetic hypotheses, Sufism and Surrealism, which are very different from each other in terms of context, time as ...

This paper describes the basic architectural concepts that underlie the formal theory of Lexical Functional Grammar The LFG formalism which has evolved from previous computational linguistic and psycholinguistic research provides a simple set of devices for describ ing the common properties of all human languages and the particular properties of individual languages It postulates two levels of ...

This paper studies methodologically robust options for giving logical contents to nodes in abstract argumentation networks. It defines a variety of notions of attack in terms of the logical contents of the nodes in a network. General properties of logics are refined both in the object level and in the metalevel to suit the needs of the application. The network-based system improves upon some of...

Temporal factorisation is a principle underlying approaches to dynamics used within many disciplines. According to this principle any temporal relationship of the form ‘past pattern implies future pattern’ can be factorised into a relationship of the form ‘past pattern implies present state’ and a relationship of the form ‘present state implies future pattern’. To enable this, the principle pos...

The problem of artificial precision demonstrates the inadequacy of näıve fuzzy semantics for vagueness. This problem is, nevertheless, satisfactorily remedied by fuzzy plurivaluationism; i.e., by taking a class of fuzzy models (a fuzzy plurivaluation), instead of a single fuzzy model, for the semantics of a vague concept. Such a fuzzy plurivaluation in turn represents the class of models of a f...

Among the essential elements of a theory of disease is the set of criteria that must be satisfied to establish that some specific factor is the cause of a particular disease. For example, in the germ theory various nonequivalent criteria have been proposed for establishing that specific micro-organisms cause particular diseases.' Perhaps the most famous criteria are the conditions known as Koch...