Новые логические связки в суперинтуиционистских логиках: подход П.С. Новикова
Abstract
В классической двузначной, а также интуиционистской, логике высказываний рассматриваются стандартные логические связки V, Λ, →, ¬. Эквиваленция ↔ вводится как сокращение:
A ↔ B ↹ (A → B) ˄ (B → A).
References
Сметанич Я.С. О полноте исчисления высказываний с дополнительной операцией от одной переменной// Тр. Моск. матем. об-ва.– 1960.–Т. 9.– С. 357–371.
Сметанич Я.С. Об исчислениях высказываний с дополнительной операцией// ДАН СССР.– 1959.– Т. 139, ¹ 2.– С. 309–312.
Бессонов А.В. Оновых операциях в интуиционистском исчислении высказываний// Матем. Заметки.– 1977.– Т.22. Вып.1.– С.23–28.
Downloads
Published
2021-12-10
How to Cite
Яшин, А. (2021). Новые логические связки в суперинтуиционистских логиках: подход П.С. Новикова. Mathematical Problems of Computer Science, 38, 26–28. Retrieved from http://mpcs.sci.am/index.php/mpcs/article/view/473
Issue
Section
Conference papers
License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
