{"version":"1.0","type":"link","title":"Structural rule - Newikis","description":"In the logical discipline of proof theory, a structural rule is an inference rule of a sequent calculus that does not refer to any logical connective but instead operates on the sequents directly. Structural rules often mimic the intended meta-theoretic properties of the logic. Logics that deny one…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}