1. Complementary systems. We say that two proof systems are complementary iff what can be derived in one system is precisely that which cannot be derived in the other, and vice versa [11]. For instance, classical propositional logic and Łukasiewicz's rejection calculus [5] are complementary. If we focus on decid-able logics, given one system there exist of course many algorithms to compute what...

Artykuł prezentuje krytyczne i polemiczne omówienie książki dwojga badaczy starożytności, w której przedstawiają oni wizję dziejów starożytnego Izraela od początków tego ludu na przełomie epoki brązu żelaza pod koniec II tys. przed Chr. do końca starożytności (VI/VII w.). W oparciu o liczne źródła przebogatą literaturę, istnieje kilka wyraźnych bardzo odmiennych opcji co obrazu Izraela, Autorzy...

In the multicoloring problem, also known as (a:b)-coloring or b-fold coloring, we are given a graph G and a set of a colors, and the task is to assign a subset of b colors to each vertex of G so that adjacent vertices receive disjoint color subsets. This natural generalization of the classic coloring problem (the b = 1 case) is equivalent to finding a homomorphism to the Kneser graph KGa,b. It ...

Possibility of reduction of protein level in feed mixtures of similar content of amino acids digestible in the small intestine and its influence on fattener’s performance and nitrogen retention were determined. Thirty pigs (35 kg) were divided into 3 groups. The control animals were fed with diets with crude protein level suggested by polish pig feeding standards (Normy żywienia... 1993) – 17% ...

BACKGROUND The value of cardiac rehabilitation in patients with coronary artery disease has been well established. The main problem is a low attendance of patients qualified for rehabilitation. AIM To assess differences between subjects attending outpatient cardiac rehabilitation (OutCR) after completing an early inpatient programme (InCR), and patients refusing participation in OutCR; to inv...

The present investigation aims at numerically simulating the temporal energy transport for incompressible ~ows through a packed bed[ The governing equations are formulated according to the volume averaging method[ The generalized momentum equation which accounts for the inertial and viscous forces was used to carry out this research\ whereas the two!energy equation model was used for simulating...

This study provides an integrated view of the growth patterns and factors that controlled the evolution of the Gulf of Cadiz continental margin based on studies of the tectonic, sedimentologic and oceanographic history of the area. Seven sedimentary regimes are identified, but there are more extensive descriptions of the late Cenozoic regimes because of the larger data base. The regimes of the ...

The study of the Gulf of Cadiz on the basis of multichannel seismic profiles and wells illustrates the stratigraphy and tectonics. The evolution of the southern Iberian margins was more complex than in most North Atlantic margins since it entailed several phases of rifting, convergence and strike-slip motions. Three main tectonic provinces surround the internal zones of the Gibraltar Arc orogen...

Mathematical Fuzzy Logic (MFL) started as the study of logics based on left-continuous t-norms,1 most prominently Łukasiewicz logic Ł, Gödel–Dummett logic G, Product logic Π, Hájek logic BL, and the system MTL introduced by Esteva and Godo. In the last years, the scope of MFL has been progressively expanded by considering weaker logical systems characterized by their completeness with respect t...