Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5

Unifiability of terms (and formulas) and structural completeness in the variety of relation algebras RA and in the products of modal logic S5 is investigated. Nonunifiable terms (formulas) which are satisfiable in varieties (in logics) are exhibited. Consequently, RA and products of S5 as well as representable diagonal-free n-dimensional cylindric algebras, RDfn, are almost structurally complete but not structurally complete. In case of S5ⁿ a basis for admissible rules and the form of all passive rules are provided

Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5

Unifiability of terms (and formulas) and structural completeness in the variety of relation algebras RA and in the products of modal logic S5 is investigated. Nonunifiable terms (formulas) which are satisfiable in varieties (in logics) are exhibited. Consequently, RA and products of S5 as well as representable diagonal-free n-dimensional cylindric algebras, RDfn, are almost structurally complete but not structurally complete. In case of S5n a basis for admissible rules and the form of all passive rules are provided

Distribution and Morphological Characteristics of Oligodendrocytes in Selected Areas of the Brain of Male and Female Red Kangaroos (<i>Macropus rufus</i>)

This study was carried out on six adult red kangaroos of both sexes. To determine the location of the oligodendrocytes (OLGs) of the hippocampus (Hip) and corpus callosum (CC), the method of impregnation of the neuroglia with silver salts was applied. The iron distribution in the OLGs was determined by the histochemical method. The Nissl method was used to determine the location of the brain structure and to analyze the number of OLGs. In the Hip, these cells are located one beside another, mainly in blood vessels and neurons; in the neocortex (NC), they are located in layers I–VI; and in the CC, they are arranged in characteristic rows and accompany both nerve fibers and blood vessels. The analysis of the results obtained by the chosen methods in the Hip, NC, and CC in males and females did not show statistically significant differences in the distribution and location of the red kangaroo OLGs. The involvement of these cells is a physiological process that proceeds in a similar manner throughout the life of individuals and actively influences the metabolism of neurons and myelin