On languages with constructive logical connectives

@inproceedings{Plisko1987OnLW,
  title={On languages with constructive logical connectives},
  author={Valerii Egorovich Plisko},
  year={1987}
}