Sequent-systems and groupoid models. II

The Mathematics of Sentence Structure

Joachim Lambek · American Mathematical Monthly · 1958 · 1.3K citations

Applied Linguistics, Syntax, Sentence Structure +10

AN INTRODUCTION TO THE THEORY OF THE BCK-ALGEBRAS

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

Representation Theory, Modern Algebra, The Bck-algebras +2

Logics without the contraction rule

Hiroakira Ono, Yuichi Komori · Journal of Symbolic Logic · 1985 · 287 citations

Formal Logic, Non-classical Logic, Syntax +15

An introduction to the theory of BCK-algebra

K. Iseki · Mathematica japonica · 1978 · 271 citations

Abstract Algebra, Representation Theory, Modern Algebra

Semantics for relevant logics

Alasdair Urquhart · Journal of Symbolic Logic · 1972 · 251 citations

Engineering, Relevant Logics Validity, Classical Logic +17