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
Lake Ronkonkoma, New York

... population are Hispanic or Latino of any race. There are 6,700 households out of which 35.6% have children under the age of 18 living with them, 59.8% are married couples ...

 
 
 
This page was created in 38 ms