High Quality Content by WIKIPEDIA articles! In proof theory, a structural rule is an inference rule that does not refer to any logical connective, but instead operates on the judgements or sequents directly. Structural rules often mimic intended meta-theoretic properties of the logic. Logics that deny one or more of the structural rules are classified as substructural logics.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.