Generalization and instantiation laws in the modified propositional logic
Дата
2023
Автори
ORCID
DOI
Науковий ступінь
Рівень дисертації
Шифр та назва спеціальності
Рада захисту
Установа захисту
Науковий керівник
Члени комітету
Назва журналу
Номер ISSN
Назва тому
Видавець
Національний технічний університет "Харківський політехнічний інститут"
Анотація
Опис
Ключові слова
generalization laws, instantiation laws, universal generalization, universal introduction, first order logics, modified propositional logic
Бібліографічний опис
Guluschenko E. V. Generalization and instantiation laws in the modified propositional logic [Electronic resource] / E. V. Guluschenko // Філософія в сучасному світі : матеріали 4-ї Міжнар. наук.-практ. конф., 17-19 листопада 2023 р. / гол. ред. Я. В. Тарароєв ; Нац. техн. ун-т "Харків. політехн. ін-т" [та ін.]. – Електрон. текст. дані. – Харків, 2023. – С. 53-55.