Wyniki
-
Operators on branched quantifiers
Mark A. Brown
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 83-84 -
Classical versions of BCI, BCK and BCIW logics
John K. Slaney, Martin W. Bunder
Bulletin of the Section of Logic , 23 /2 (1994) s. 61-65