出典:Wiktionary
出典:『Wiktionary』 (2017/03/16 13:36 UTC 版)
relevance logic (複数形 relevance logics)
出典:Wikipedia
出典:『Wikipedia』 (2011/04/03 06:29 UTC 版)
Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications be relevantly related. They may be viewed as a family of substructural or modal logics. (It is generally, but not universally, called relevant logic by Australian logicians, and relevance logic by other English-speaking logicians.)