Rasiowa–Sikorski deduction systems in computer science applications

AbstractA Rasiowa-Sikorski system is a sequence-type formalization of logics. The system uses invertible decomposition rules which decompose a formula into sequences of simpler formulae whose validity is equivalent to validity of the original formula. There may also be expansion rules which close indecomposable sequences under certain properties of relations appearing in the formulae, like symmetry or transitivity. Proofs are finite decomposition trees with leaves having “fundamental”, valid labels. The author describes a general method of applying the R-S formalism to develop complete deduction systems for various brands of C.S and A.I. logic, including a logic for reasoning about relative similarity, a three-valued software specification logic with McCarthy's connectives and Kleene quantifiers, a logic for nondeterministic specifications, many-sorted FOL with possibly empty carriers of some sorts, and a three-valued logic for reasoning about concurrency

Tratamento da congestão pélvica associada a varizes dos membros inferiores: relato de uma pequena série de casos Treatment of pelvic congestion associated with varicose veins of the lower limbs: report of a small number of cases

A síndrome de congestão pélvica é definida por critérios anatômicos, hemodinâmicos e clínicos, decorrentes da hipertensão e estase venocapilar no território pélvico, podendo ser estendido aos membros inferiores. A presença de varizes dos membros inferiores pode estar ou não relacionada ao refluxo do sistema safeno e, nos casos de ausência do refluxo safeno, o refluxo pélvico apresenta-se como importante fator etiológico responsável pelo aparecimento e recidiva da doença venosa nos membros inferiores. Os autores relatam uma pequena série de três casos de pacientes jovens portadoras de síndrome de congestão pélvica associada à varizes dos membros inferiores tratadas por embolização pélvica e tratamento cirúrgico das varizes de membros inferiores, no mesmo tempo cirúrgico, com bons resultados iniciais e ausência de complicações embólicas.<br>The pelvic congestion syndrome is defined by anatomical criteria, hemodynamic and clinical result of hypertension and venocapillary stasis in the pelvic area and can be extended to the lower limbs. The presence of varicose veins of the lower limbs may or may not correlate reflux of the saphenous system and, in cases of absence of saphenous reflux, the reflux pelvic presents itself as an important etiological factor responsible for recurrence of venous disease in lower limbs. The authors report a small series of three cases of young patients suffering from pelvic congestion syndrome associated with varicose veins of the lower limbs treated by pelvic embolization and surgical treatment of varicose veins of the lower limbs during the surgical procedure with good initial results and no embolic complications