Релевантная логика (Кузнецова, 2007)
РЕЛЕВАНТНАЯ ЛОГИКА - одно из направлений современной неклассической логики, сформировавшееся во второй половине XX в. Ее возникновение связано с попыткой решить проблему формализации логического следования и условной связи средствами интенсиональной логики.
В классической логике условная связь («Если..., то...») выражается посредством материальной импликации (⊃). Соответствие между материальной импликацией и логическим следованием выражается через соотношение (I) A ⌈ B ⇔ ⌈ А ⊃ В.