Чагров, А. «Строго импликативные формулы в модальных логиках, близких к интуиционистской.». Логические исследования, т. 6, декабрь 1998 г., сс. 69-75, doi:10.21146/2074-1472-1998-6-0-69-75.