Once again about the ternary description language as a non-classical logic
dc.contributor.author | Raikhert, Kostiantyn V. | en |
dc.contributor.author | Райхерт, Костянтин Вільгельмович | uk |
dc.date.accessioned | 2024-12-16T20:53:37Z | |
dc.date.available | 2024-12-16T20:53:37Z | |
dc.date.issued | 2024 | |
dc.description.abstract | When 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.citation | Raikhert 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.isbn | 978-966-186-331-5 | |
dc.identifier.uri | https://dspace.onu.edu.ua/handle/123456789/40127 | |
dc.language.iso | en | |
dc.publisher | Одеський національний університет імені І. І. Мечникова | uk |
dc.subject | ternary description language | en |
dc.subject | non-classical logic | en |
dc.subject | logic | en |
dc.title | Once again about the ternary description language as a non-classical logic | en |
dc.type | Article | en |
Файли
Контейнер файлів
1 - 1 з 1
Ліцензійна угода
1 - 1 з 1
Ескіз недоступний
- Назва:
- license.txt
- Розмір:
- 1.71 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: