منابع مشابه
Chordal Digraphs
Chordal graphs, also called triangulated graphs, are important in algorithmic graph theory. In this paper we generalise the definition of chordal graphs to the class of directed graphs. Several structural properties of chordal graphs that are crucial for algorithmic applications carry over to the directed setting, including notions like simplicial vertices, perfect elimination orderings, and ch...
متن کاملOn the relationship between strict and non-strict outranking relations
Outranking relations such as produced by the Electre I or II or the Tactic methods are based on a concordance and non-discordance principle that leads to declaring that an alternative is “superior” to another, if the coalition of attributes supporting this proposition is “sufficiently important” (concordance condition) and if there is no attribute that “strongly rejects” it (non-discordance con...
متن کاملStrict Basic
In this paper we solve a long-standing open problem by showing that strict superposition|that is, superposition without equality factoring|is refutationally complete. The diiculty of the problem arises from the fact that the strict calculus, in contrast to the standard calculus with equality factoring, is not compatible with arbitrary removal of tautologies, so that the usual techniques for pro...
متن کاملSTRICT-WEAK LANGUAGES. An analysis of strict implication∗
Modal languages were originally based on the possible-world approach proposed by Lewis, Carnap and others. In other words, modal languages were originally designed to talk about necessity (the box) and possibility (the diamond). Nowadays, modal languages (and certain natural extensions like dynamic languages, μ-calculus language, . . . ) are viewed as tools for analyzing the properties of Kripk...
متن کاملstrict liability; foundations and instances
strict liability is the result of philosophical ideas of lawyers in front of developments in human knowledge and complexity of social relationships. strict liability the main aim is facilitation of victim's compensation, so the proof of fault is not necessary and causation is sufficient. this type of liability is justified by various foundations of economics, society and morality. in the b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Applied Mathematics
سال: 2017
ISSN: 0166-218X
DOI: 10.1016/j.dam.2016.02.009