Inline videos. See also:Category: Articles with embedded Videos..

Exchange rule

From Biocrawler, the free encyclopedia.

The exchange rule is a structural rule of the sequent calculus, and is sometimes called the permutation rule.

This mathematics-related article is a stub. You can help Biocrawler by expanding it (http://www.biocrawler.com/w/index.php?title=Exchange_rule&action=edit).

Retrieved from "http://www.biocrawler.com/encyclopedia/Exchange_rule"

Categories: Mathematics stubs | Mathematical logic

Wikipedia (http://en.wikipedia.org/wiki/Main_Page) Exchange_rule (http://en.wikipedia.org/wiki/Exchange_rule) version history (http://en.wikipedia.org/w/index.php?title=Exchange_rule&action=history) GNU Free Documentation Lizenz (http://en.wikipedia.org/wiki/Wikipedia:Text_of_the_GNU_Free_Documentation_License) CC-by-sa (http://creativecommons.org/licenses/by-sa/2.5/)

Google Search

Search

Toolbox

What links here
Related changes
Special pages

Exchange rule

From Biocrawler, the free encyclopedia.

Views

Personal tools

Navigation

Google Search

Search

Toolbox