Once again about the ternary description language as a non-classical logic

dc.contributor.authorRaikhert, Kostiantyn V.en
dc.contributor.authorРайхерт, Костянтин Вільгельмовичuk
dc.date.accessioned2024-12-16T20:53:37Z
dc.date.available2024-12-16T20:53:37Z
dc.date.issued2024
dc.description.abstractWhen it comes to the criteria for distinguishing classical logic from non-classical logic, the following criteria are usually mentioned (see: [2, p. 30]) 1) weakening or rejection of the laws (principles) of traditional and classical logic (for example, the rejection of the law of the excluded third led to the foundation of intuitionistic logic); 2) extension of the scope of classical logic (for example, John P. Burgess argues that the fact that mathematical logic goes beyond its scope gives rise to various philosophical logics); 3) the struggle with inference (implication, consequence, etc.) (for example, the rejection of some structural rules within the Gentzen calculus led to the creation of substructuralist logics).en
dc.identifier.citationRaikhert K. Once again about the ternary description language as a non-classical logic / K. Raikhert // XІІ Уйомовські читання (2024) [Електронний ресурс] : матеріали Наук. читань пам’яті Авеніра Уйомова / упоряд. і ред. К. В. Райхерт. – Електрон. текст. дані (1 файл : 0,9 МБ). – Одеса : Одес. нац. ун-т ім. І. І. Мечникова, 2024. – С. 50–51.uk
dc.identifier.isbn978-966-186-331-5
dc.identifier.urihttps://dspace.onu.edu.ua/handle/123456789/40127
dc.language.isoen
dc.publisherОдеський національний університет імені І. І. Мечниковаuk
dc.subjectternary description languageen
dc.subjectnon-classical logicen
dc.subjectlogicen
dc.titleOnce again about the ternary description language as a non-classical logicen
dc.typeArticleen
Файли
Контейнер файлів
Зараз показуємо 1 - 1 з 1
Вантажиться...
Ескіз
Назва:
50-51.pdf
Розмір:
182.86 KB
Формат:
Adobe Portable Document Format
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис: