Sommaire

A comparison of two systems of point-free topology
A Post-style proof of completeness theorem for symmetric relatedness Logic S
B-almost distributive fuzzy lattice
Identity, equality, nameability and completeness. Part II
On interpolation in NEXT(KB.Alt(2))