The paper analyzes the problem of interpretations Gettier problem. author draws a distinction between counterexamples presented in Edmund Gettier’s article and Gettier-style cases, general epistemological supposedly occurring all or many cases. It is argued that there gap associated with an insufficiently defined concept justification, which does not allow talking about without any explicit imp...

The ancient Vedic texts Provides us with valuable information and guide lines on various multi-faced aspects of human life. The present discussion is limited to the medical treatment and medicinal charms mentioned in the Atharvanic literature with specific consideration to Kausikasutra for better understanding of the rites and actions mentioned in Atharvanaveda.

Objectives The aim was to identify theoretically expected as well as actually reported benefits from drug development and the importance of individual patient benefits compared to the collective benefits to society in general. Background Ethical guidelines require that clinical research involving humans offer the potential for benefit. A number of characteristics can be applied to define rese...

This paper deals with the adaptation to fuzzy goal programming of the most used methods to formulate, as a linear programming problem, a classic goal programming problem with piecewise linear penalty functions. Up to now, the literature has been only dealing with the adaptation of the Charnes and Cooper’s method. In this paper we show that the mentioned adaptations are not completely correct. W...

In this paper is researched how to achieve an effective fleet maintenance planning in transport companies, which contributes in increasing the fleet energy efficiency and in achieving the companies’ goal. Within the fleet maintenance planning, managers have to make the right decisions on the selection of vehicle service centers in the region where the maintenance work will be realized. The ment...

In this paper we focus on theorem proving for conditional logics. First, we give a detailed description of CondLean, a theorem prover for some standard conditional logics. CondLean is a SICStus Prolog implementation of some labeled sequent calculi for conditional logics recently introduced. It is inspired to the so called “lean” methodology, even if it does not fit this style in a rigorous mann...