Some principles and especially the rules for the construction of tableaux of the onequantifer syllogistic

The article discusses the principles of the Universal logic of a1-place predicate: the principle of the excluded third, the principle of non-contradiction, the principle of identity. The author argues that one of the peculiarities of rules of inference in one-quantified syllogistics is the presence of two possible derived relations out of the formula хА(х).