Работа посвящена исследованию позитивных логик, содержащих позитивный фрагмент интуиционистского исчисления высказываний. Рассматриваются аналоги теоремы о неявной определимости, доказанной Бе-том [1]. В [2] доказано, что лишь конечное число супериитуиционистских логик обладает проективным свойством Бета, и найден полный список этих логик. В данной статье мы покажем, что существует в точности семь позитивных логик, обладающих проективным свойством Бета PBP, и получим полное описание этих логик. Отметим, что полный список позитивных логик с интерполяционным свойством Крейга CIP найден в [3].
展开▼