1.

Birkhoff, G., Lattice Theory, American Mathematical Society, Colloquium Publications, vol. XXV, New York, 1967. Zbl 0153.02501 MR 37:2638  0153.02501 Birkhoff, G., Lattice Theory, American Mathematical Society, Colloquium Publications, vol. XXV, New York, 1967. Zbl 0153.02501 MR 37:2638  0153.02501

2.

Došen, K., and P. Schröder-Heister, Substructural Logics, Studies in Logic and Computation, Clarendon Press, Oxford, 1993. Zbl 0811.68056 MR 95a:03003 Došen, K., and P. Schröder-Heister, Substructural Logics, Studies in Logic and Computation, Clarendon Press, Oxford, 1993. Zbl 0811.68056 MR 95a:03003

3.

Girard, J. Y., “Linear logic,” Theoretical Computer Science, vol. 50 (1987), pp. 1–101. Zbl 0625.03037 MR 89m:03057 Girard, J. Y., “Linear logic,” Theoretical Computer Science, vol. 50 (1987), pp. 1–101. Zbl 0625.03037 MR 89m:03057

4.

Hori, R., H. Ono and H. Schellinx, “Extending intuitionistic linear logic with knotted structural rules,” Notre Dame Journal of Formal Logic, vol. 35 (1994), pp. 219–242. Zbl 0812.03008 MR 95i:03063  0812.03008 10.1305/ndjfl/1094061862 euclid.ndjfl/1094061862 Hori, R., H. Ono and H. Schellinx, “Extending intuitionistic linear logic with knotted structural rules,” Notre Dame Journal of Formal Logic, vol. 35 (1994), pp. 219–242. Zbl 0812.03008 MR 95i:03063  0812.03008 10.1305/ndjfl/1094061862 euclid.ndjfl/1094061862

5.

De Jongh, D., L. Hendriks, and G. Renardel de Lavalette, “Computations in fragments of intuitionistic propositional logic,” Journal of Automatic Reasoning, vol. 7 (1991), pp. 537–561. Zbl 0743.03007 MR 93c:03012 De Jongh, D., L. Hendriks, and G. Renardel de Lavalette, “Computations in fragments of intuitionistic propositional logic,” Journal of Automatic Reasoning, vol. 7 (1991), pp. 537–561. Zbl 0743.03007 MR 93c:03012

6.

Prijatelj, A., “Connectification for $n$-contraction,” Studia Logica, vol. 54 (1995), pp. 149–171. Zbl 0823.03003 MR 96e:03073 Prijatelj, A., “Connectification for $n$-contraction,” Studia Logica, vol. 54 (1995), pp. 149–171. Zbl 0823.03003 MR 96e:03073

7.

Prijatelj, A., “Bounded contraction and Gentzen-style formulation of Łukasiewicz logics,” forthcoming in Studia Logica. Zbl 0865.03015 MR 97f:03083 Prijatelj, A., “Bounded contraction and Gentzen-style formulation of Łukasiewicz logics,” forthcoming in Studia Logica. Zbl 0865.03015 MR 97f:03083

8.

Slaney, J., “Sentential constants in systems near ${\bf R}$,” Studia Logica, vol. 52 (1993), pp. 443–455. Zbl 0796.03031 MR 95d:03033 Slaney, J., “Sentential constants in systems near ${\bf R}$,” Studia Logica, vol. 52 (1993), pp. 443–455. Zbl 0796.03031 MR 95d:03033

9.

Troelstra, A. S., Lectures on Linear Logic, CSLI Lecture Notes, No. 29, Center for the Study of Language and Information, Stanford, 1992. Zbl 0942.03535 MR 93i:03083 Troelstra, A. S., Lectures on Linear Logic, CSLI Lecture Notes, No. 29, Center for the Study of Language and Information, Stanford, 1992. Zbl 0942.03535 MR 93i:03083

10.

Troelstra, A. S., and D. van Dalen, Constructivism in Mathematics, (two volumes), North-Holland, Amsterdam, 1988. Zbl 0653.03040 Zbl 0661.03047 MR 90e:03002a MR 90e:03002b  0661.03047 Troelstra, A. S., and D. van Dalen, Constructivism in Mathematics, (two volumes), North-Holland, Amsterdam, 1988. Zbl 0653.03040 Zbl 0661.03047 MR 90e:03002a MR 90e:03002b  0661.03047