ON SOME LOGICAL PROPERTIES IN B3

KELEŞ H., ŞAHİN H. İ.

Journal of Applied Mathematics and Informatics, cilt.43, sa.2, ss.267-275, 2025 (ESCI) identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 43 Sayı: 2
  • Basım Tarihi: 2025
  • Doi Numarası: 10.14317/jami.2025.267
  • Dergi Adı: Journal of Applied Mathematics and Informatics
  • Derginin Tarandığı İndeksler: Emerging Sources Citation Index (ESCI), Scopus
  • Sayfa Sayıları: ss.267-275
  • Anahtar Kelimeler: binary operation, Complement, De Morgan, ternary system
  • Karadeniz Teknik Üniversitesi Adresli: Evet

Özet

This paper is about the expression of several properties of known formal logic in ternary logic. The ternary logic is offered a priority beyond the logic of existence and non-existence. It is offered a new per-spective to our studies. The main aim of the study is to provide a solution to the concepts of uncertainty in societies [2]. The change of De Morgan rules in B3 given by binary logic is investigated. Lemmas, theorems and some properties of the different cases are given in B3. The content of this study consists of two parts. The first part is about complements and the second part explains the software of integers in B3.