Логическое следствие

Логическое следствие является необходимым и формальным, основанным на логике и интерпретации.
Логическое отношение-следствие основано на логической форме предложений и является априорным.
Формальное следствие должно быть истинным во всех случаях, но это неполное определение.
Априорное свойство логического следствия считается независимым от формальности.
Изучение синтаксического и семантического следствий называется теорией доказательств и теорией моделей соответственно.
Модальные описания логических следствий апеллируют к модальным понятиям логической необходимости и логической возможности.
Модально-формальные объяснения логических следствий объединяют модальные и формальные объяснения.

Полный текст статьи:

Логическое следствие — Википедия