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
Westhampton Beach, New York

... are made up of individuals and 13.7% have someone living alone who is 65 years of age or older. The average household size is 2.25 and the average family size is ...

 
 
 
This page was created in 23.9 ms