A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
This short note contains no original results per se. It is meant as a modest contribution to the special issue of Reports on Mathematical Logic dedicated to the Workshop on Algebra & Substructural Logic held at the Japan Advanced Institute of Science and Technology (JAIST), November 10-17, 1999. The most relevant references for this note are a paper by Agliano, Ferreirim and Montagna  and a recent monograph by Hájek  .dblp:journals/rml/Ferreirim00 fatcat:245ds23wu5bb5bh2hjwruuazh4