Constructive Logic with Strong Negation is a Substructural Logic. I

Linear logic

Jean-Yves Girard · Theoretical Computer Science · 1987 · 4.1K citations

A Course in Universal Algebra.

Andreas Blass, Stanley Burris, Hanamantagouda P. Sankappanavar · American Mathematical Monthly · 1984 · 2K citations

Natural Sciences, Mathematics, Mathematics Education +10

Fiftieth volume of theoretical computer science

Maurice Nivat · Theoretical Computer Science · 1988 · 1.3K citations

Computing, Computer Science, Mathematics +7

On distributive lattices

Hiroyuki Nakano, S. Romberger · 1974 · 670 citations

AN INTRODUCTION TO THE THEORY OF THE BCK-ALGEBRAS

Kanesiroo Iseki, Shôtarô Tanaka · 1978 · 388 citations

Natural Sciences, Computer Science, Mathematics +5