Generalization and instantiation laws in the modified propositional logic

Скорочена інформація про документ
dc.contributor.authorGuluschenko , E. V.
dc.date.accessioned2023-11-25T11:29:05Z
dc.date.available2023-11-25T11:29:05Z
dc.date.issued2023
dc.identifier.citationGuluschenko 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.urihttps://repository.kpi.kharkov.ua/handle/KhPI-Press/71181
dc.language.isoen
dc.publisherНаціональний технічний університет "Харківський політехнічний інститут"
dc.subjectgeneralization laws
dc.subjectinstantiation laws
dc.subjectuniversal generalization
dc.subjectuniversal introduction
dc.subjectfirst order logics
dc.subjectmodified propositional logic
dc.titleGeneralization and instantiation laws in the modified propositional logic
dc.typeArticle

Файли

Контейнер файлів
Зараз показуємо 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
Опис:
Завантажити

Зібрання

Філософія в сучасному світі. 2023