Generalization and instantiation laws in the modified propositional logic
dc.contributor.author | Guluschenko , E. V. | |
dc.date.accessioned | 2023-11-25T11:29:05Z | |
dc.date.available | 2023-11-25T11:29:05Z | |
dc.date.issued | 2023 | |
dc.identifier.citation | Guluschenko E. V. Generalization and instantiation laws in the modified propositional logic [Electronic resource] / E. V. Guluschenko // Філософія в сучасному світі : матеріали 4-ї Міжнар. наук.-практ. конф., 17-19 листопада 2023 р. / гол. ред. Я. В. Тарароєв ; Нац. техн. ун-т "Харків. політехн. ін-т" [та ін.]. – Електрон. текст. дані. – Харків, 2023. – С. 53-55. | |
dc.identifier.uri | https://repository.kpi.kharkov.ua/handle/KhPI-Press/71181 | |
dc.language.iso | en | |
dc.publisher | Національний технічний університет "Харківський політехнічний інститут" | |
dc.subject | generalization laws | |
dc.subject | instantiation laws | |
dc.subject | universal generalization | |
dc.subject | universal introduction | |
dc.subject | first order logics | |
dc.subject | modified propositional logic | |
dc.title | Generalization and instantiation laws in the modified propositional logic | |
dc.type | Article |
Файли
Контейнер файлів
1 - 1 з 1
- Назва:
- Guluschenko_Generalization_and_instantiation_2023.pdf
- Розмір:
- 454.96 KB
- Формат:
- Adobe Portable Document Format
Ліцензійна угода
1 - 1 з 1
Ескіз недоступний
- Назва:
- license.txt
- Розмір:
- 11.18 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: