О новых операциях в интуиционистском исчислении

Изучается вопрос о возможности расширения интуиционистского исчисления высказываний путем присоединения однозначных одноместных операций, не выразимых через конъюнкцию, дизъюнкцию, импликацию и отрицание. Построена система корректных исчислений с новыми однозначными операциями, изоморфная семейству собственных расширений интуиционистского исчисления высказываний. Библ. 6 назв.