Wyniki
-
Christmas trees : on free cyclic algebras in some varieties of closure algebras
Leo Esakia, Revaz Grigolia
Bulletin of the Section of Logic , 4 /3 (1975) s. 95-100 -
The criterion of Brouwerian and closure algebras to be finitely generated
Leo Esakia, Revaz Grigolia
Bulletin of the Section of Logic , 6 /2 (1977) s. 46-52 -
The dialectical rule of strenght
J. D. Mackenzie
Bulletin of the Section of Logic , 6 /3 (1977) -
Proof tableau formulations of some first-order relevant ortho-logics
Michael A. McRobbie, Nuel D. Belnap
Bulletin of the Section of Logic , 13 /4 (1984) s. 233-239