Background: In the treatment of prostate cancer, radiotherapy is the potential to increase second primary cancers such as bladder and rectal cancers. The reasons for this potential are more monitor units (MUs), therefore a larger total body dose because of leakage radiation, a bigger volume of normal tissue is exposed to lower radiation doses. This study was designed to compare the integral dos...

Lukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Lukasiewicz algebra on the unit real interval. In the literature a deductive system axiomatized in a Hilbert style was associated to it, and was later shown to be semantically defined from Lukasiewicz algebra by using a “truthpreserving” scheme. This deductive system...

Presents corrections to the paper, Optimization of MV Distribution System Designs.

The properties of deductive systems in Hilbert algebras are treated. If a Hilbert algebra H considered as an ordered set is an upper semilattice then prime deductive systems coincide with meet-irreducible elements of the lattice DedH of all deductive systems on H and every maximal deductive system is prime. Complements and relative complements of DedH are characterized as the so called annihila...

In this paper, we address one important aspect of the problem of designing a cooperative deductive database system, namely, allocation of rules across the deductive database systems. We identify communication cost as the primary consideration in allocation of rules. The problem of optimal allocation of rules has been shown NP-complete, which has prohibitive execution times for large knowledge b...

In order to extend the ability to handle incomplete information in a definite deductive database, a Horn clause based system representing incomplete information as incomplete constants is proposed. By using the notion of incomplete constants the deductive database system handles incomplete information in the form of sets of possible values, thereby giving more information than null values. The ...

This paper describes a method of the efficient query evaluation when uncertainty is involved in a deductive database system. A deductive system enriched with fuzzy logic is able to serve better as a knowledge system. Speeding up its execution makes this system practically useful.

The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. This paper studies a deductive inference method for PC(ID), its propositional fragment. We introduce a formal proof system based on the sequent calculus (Gentzen-style deductive system) for this logic. As PC(ID) is an integration of classical propositional logic a...