https://libeldoc.bsuir.by/handle/123456789/58629
Title: | On the problem of inconsistency in many-valued logics |
Authors: | German, J. O. German, O. V. Semizhon, E. A. |
Keywords: | материалы конференций;three-valued logics;liar paradox;many-valued logics |
Issue Date: | 2024 |
Publisher: | БГУИР |
Citation: | German, J. O. On the problem of inconsistency in many-valued logics / J. O. German, O. V. German, E. A. Semizhon // Информационные технологии и системы 2024 (ИТС 2024) = Information Technologies and Systems 2024 (ITS 2024) : материалы международной научной конференции, Минск, 20 ноября 2024 г. / Белорусский государственный университет информатики и радиоэлектроники ; редкол. : Л. Ю. Шилин [и др.]. – Минск, 2024. – С. 39–40. |
Abstract: | It is considered a three-valued logical system with a subject area containing three values: 0, 1, 0.5. A three-valued formula is introduced – an analogue of the well-known statement in the liar’s paradox. Assuming the axiom about the uniqueness of the truth value of the formula (that is, 0, 1 and 0.5), we obtain a paradox. A brief discussion of the result and conclusions is provided. |
URI: | https://libeldoc.bsuir.by/handle/123456789/58629 |
Appears in Collections: | ИТС 2024 |
File | Description | Size | Format | |
---|---|---|---|---|
German_On_the_problem.pdf | 413.55 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.