The origin and interpretation of Kleene three-valued logics

O.V. Shishatska

Abstract


Strong and weak three-valued Kleene logics are considered. The origin of strong logic from ordinary Boolean logic by application of generally valid construction of extension operations from elements on the sets of elements in terms of full image is shown. The compact representation of logic Kleene operations by the three-element chains is illustrated.

Problems in programming 2010; 2-3: 72-79


References


Клини С.К. Введение в метаматематику. – М.: ИЛ, 1957. – 526 с.

Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование. – Киев: Наук. думка, 1978. – 318 с.

Редько В.Н., Брона Ю.Й., Буй Д.Б., Поляков С.А.Реляційні бази даних: табличні алгебри та SQL-подібні мови. – К.: Видавничий дім

"Академперіодика", 2001. – 198 с.

Cook S., Kleppe A., Mitchell R., Rumpe B., Warmer J., Wills A. The Amsterdam Manifesto on OCL. – UML 2.0 Request for information

response: OMG Analysis & Design PTF, 1999 [Електронний ресурс]. – Точка доступу:

http://www.trireme.com/whitepapers/design/components/OCL_manifesto.PDF.

www.omg.org // 05-06-06.pdf.

Манна З. Теория неподвижной точки программ // Кибернетический сб. Новая серия. Вып. 15. – М.: Мир, 1978. – С. 38–100.

The Object Data Standard: ODMG 3.0 / Edited by R.G.G. Cattel, Douglas K. Barry. – Morgan Kauffmann Publishers, 2000.

http://www.omg.org/docs/omg/04-07-02.pdf.

Кахута Н.Д., Буй Д.Б. Властивості теоретико-множинних конструкцій повного образу та обмеження. Вісн. Київськ. ун-ту. Сер. фіз.-мат. науки. – 2005. – Вип. 2. – С. 232–240.

Скорняков Л. А. Элементы алгебры. – М.: Наука, 1986. – 240 с.

http://www.sql-ex.ru/help/select2.php.

Скорняков Л А. Элементы теории структур. – М.: Наука, 1982. – 160 с.


Refbacks

  • There are currently no refbacks.