Varieties of Commutative Residuated Integral Pomonoids and Their Residuation Subreducts

Algebraic analysis of many valued logics

C. C. Chang · Transactions of the American Mathematical Society · 1958 · 1.3K citations

Algebraic Systems Mv-algebras, Algebraic Logic, Engineering +10

An algebra related with a propositional calculus

Kiyoshi Iséki · Proceedings of the Japan Academy Series A Mathematical Sciences · 1966 · 456 citations

Formal Logic, Algebraic Logic, Engineering +8

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

On the structure of varieties with equationally definable principal congruences IV

W. J. Blok, Don Pigozzi · Algebra Universalis · 1994 · 154 citations

Real Algebraic Geometry, Schubert Calculus