fuzzy controllers are being used in various control schemes. the aim of this work was adjusting hemodialysis machine parameters utilizing a fuzzy logic controller (flc) so that patient’s hemodynamic condition remains stable during hemodialysis treatment. for this purpose a comprehensive mathematical model of the arterial pressure response during hemodialysis, including hemodynamic, osmotic, and...

for the first time in the history of logic, afzal al-din al-khunaji has found tautologies and contradictories among the verity and actuality propositions. these have been formalized and investigated in first-order logic and it has been shown that their perpetual truth requires the assumption of ‘the presupposed existence of non-existence.’ in this paper, i investigate the tautologies in second-...

We study three kinds of compactness in some variants of G"{o}del logic: compactness,entailment compactness, and approximate entailment compactness.For countable first-order underlying language we use the Henkinconstruction to prove the compactness property of extensions offirst-order g logic enriched by nullary connective or the Baaz'sprojection connective. In the case of uncountable first-orde...