Properties of the Logical Consequence Operation and Its Relationship with the Independence of Propositional Logic

Oner T., Senturk I., Oner G.

UKRAINIAN MATHEMATICAL JOURNAL, cilt.70, sa.6, ss.990-1000, 2018 (SCI-Expanded, Scopus) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 70 Sayı: 6
  • Basım Tarihi: 2018
  • Doi Numarası: 10.1007/s11253-018-1546-4
  • Dergi Adı: UKRAINIAN MATHEMATICAL JOURNAL
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.990-1000
  • Dokuz Eylül Üniversitesi Adresli: Evet

Özet

We study the properties of the logical consequence operation and the characteristic features of independent sets of formulas. Further, we apply these results to propositional logic. Finally, we show under what conditions the results of addition of a formula to independent sets of formulas and the union of two independent sets of formulas are also independent by the operation of logical consequence, i.e., we establish the relationship between the logical consequence and the preservation of independence in propositional logic.