Barr, Michael Fuzzy models of linear logic. (English) Zbl 0856.03049 Math. Struct. Comput. Sci. 6, No. 3, 301-312 (1996). MSC: 03G30 18B35 03B20 03E72 18D10 18B10 PDFBibTeX XMLCite \textit{M. Barr}, Math. Struct. Comput. Sci. 6, No. 3, 301--312 (1996; Zbl 0856.03049) Full Text: DOI
Avron, A. The structure of interlaced bilattices. (English) Zbl 0856.06005 Math. Struct. Comput. Sci. 6, No. 3, 287-299 (1996). MSC: 06B99 08A70 PDFBibTeX XMLCite \textit{A. Avron}, Math. Struct. Comput. Sci. 6, No. 3, 287--299 (1996; Zbl 0856.06005) Full Text: DOI
Salibra, Antonino; Scollo, Giuseppe Interpolation and compactness in categories of pre-institutions. (English) Zbl 0860.03035 Math. Struct. Comput. Sci. 6, No. 3, 261-286 (1996). Reviewer: D.Mundici (Milano) MSC: 03C95 03G30 PDFBibTeX XMLCite \textit{A. Salibra} and \textit{G. Scollo}, Math. Struct. Comput. Sci. 6, No. 3, 261--286 (1996; Zbl 0860.03035) Full Text: DOI
Hirshfeld, Yoram; Jerrum, Mark; Moller, Faron A polynomial-time algorithm for deciding bisimulation equivalence of normed basic parallel processes. (English) Zbl 0857.68042 Math. Struct. Comput. Sci. 6, No. 3, 251-259 (1996). MSC: 68Q10 PDFBibTeX XMLCite \textit{Y. Hirshfeld} et al., Math. Struct. Comput. Sci. 6, No. 3, 251--259 (1996; Zbl 0857.68042) Full Text: DOI
Laneve, Cosimo; Montanari, Ugo Axiomatizing permutation equivalence. (English) Zbl 0884.68070 Math. Struct. Comput. Sci. 6, No. 3, 219-249 (1996). Reviewer: N.Bernard (Le Bourget du Lac) MSC: 68Q42 03B40 68Q55 PDFBibTeX XMLCite \textit{C. Laneve} and \textit{U. Montanari}, Math. Struct. Comput. Sci. 6, No. 3, 219--249 (1996; Zbl 0884.68070) Full Text: DOI