Geodesic

Volume 32 (1993) no. 2

Sommaire

Bases of admissible inference rules of the modal logics S4.2 and S4.2Grz
p. 117-130
A bounded analogue of Rice's theorem at the third level for
p. 131-138
Multiplicative formulas
p. 139-147
Positive theories of free monoids
p. 148-159
Verbal products of groups
p. 160-176
Primitive Jordan triple systems
p. 177-202
Infinite primal algebras and Post varieties
p. 203-221
Letter to the editors: ``Forcing in admissible sets'' [Algebra and Logic {\bf 29} (1990), no.~6, 424--430; MR1159138]
p. 222-223
Sessions of the seminar “Algebra i Logika”