Geodesic

Tome 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 29 (1990), no. 6, 424–430; MR1159138]
p. 222-223
Sessions of the seminar “Algebra i Logika”