Broschiertes Buch

Structural Rule

Versandkostenfrei!

Versandfertig in 6-10 Tagen

23,99 €

inkl. MwSt.

Jetzt bewerten

PAYBACK Punkte

12 °P sammeln!

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. 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.