Новые логические связки в суперинтуиционистских логиках: подход П.С. Новикова

Authors

  • А. Яшин Московский городской психолого–педагогический университет

Abstract

В классической двузначной, а также интуиционистской, логике высказываний рассматриваются стандартные логические связки V, Λ, →, ¬. Эквиваленция ↔ вводится как сокращение:
AB ↹ (AB) ˄ (BA).­­­­­­­

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