Encyclopedia > Relevant logic

  Article Content

Relevant logic

Relevant logic, also called relevance logic, is a type of non-classical substructural[?] logic that imposes certain restrictions on implication.

The basic idea is to change the semantics of implication in such a way, that premisses are always necessary for the concluded statement. In classical logic, as an example, a universally false formula always implies every other formula, and, conversely, everything will imply a tautology. In relevance logic, these statements would no longer be valid.

A calculus for relevance logic can be obtained from a Gentzen-style calculus by removing the weakening rules that allow for the introduction of arbitrary formulae on the right or left side of the sequents.

External Links



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
East Hampton North, New York

... 28.0% from 25 to 44, 25.8% from 45 to 64, and 17.2% who are 65 years of age or older. The median age is 41 years. For every 100 females there are 92.6 males. For every ...

 
 
 
This page was created in 23.8 ms