Generalization and instantiation laws in the modified propositional logic
Вантажиться...
Дата
Автори
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.