ON THE ALGEBRA OF NONCOMMUTATIVE RESIDUATION : POLRIMS AND LEFT RESIDUATION ALGEBRAS

 RAFTERY J. G.
 Department of Mathematics and Applied Mathematics, University of Natal

 VAN ALTEN C. J.
 Department of Mathematics and Applied Mathematics, University of Natal
Search this Article
Author(s)

 RAFTERY J. G.
 Department of Mathematics and Applied Mathematics, University of Natal

 VAN ALTEN C. J.
 Department of Mathematics and Applied Mathematics, University of Natal
Journal

 Mathematica japonicae

Mathematica japonicae 46(1), 2646, 19970701
References: 30

1
 Hoops and their implication reducts (Abstract)

BLOK W. J.
Algebra Matheods in Logic and in Computer Science, 1993
Cited by (1)

2
 Local deducation theorems in algebra logic

BLOK W. J.
Colloquia Mathematica Societatis Janos Bolyai, 75109, 1988
Cited by (1)

3
 Algebraizable logics

BLOK W. J.
Memoirs of the Americal Mathematical Society 77, 1989
Cited by (1)

4
 On the structure of varieties with equationally definable principal congruences III, A

BLOK W. J.
Algebra Universalis 32, 546608, 1994
Cited by (1)

5
 On the quasivariety of BCKalgebras and its subvarieties

BLOK W. J.
Algebra Universalis 33, 6890, 1995
Cited by (3)

6
 Komplementare Halbgruppen. Aximatik und Arithmetik

BOSBACH B.
Fund. Math. 64, 257287, 1969
Cited by (1)

7
 Komplementare Halbgruppen. Kongruenzen und Qiotienten

BOSBACH B.
Fund. Math. 69, 114, 1970
Cited by (1)

8
 Residuation groupoids

BOSBACH B.
Resultate der Mathematik 5, 107122, 1982
Cited by (1)

9
 <no title>

BURRIS S.
A Course in Universal Algebr, Graduate Texts in Mathematic, 1981
Cited by (1)

10
 On Iseki's BCKalgebras

CORNISH W. H.
Lecture Notes in Pure and Applied Mathematics 74, 101122, 1982
Cited by (1)

11
 On varieties and quasivarieties of hoops and their reducts

FERREIRIM I. M. A.
Doctoral Thesis, University of Illinois at Chicago, 1992
Cited by (1)

12
 Linear Topologies on a Ring: an Overview

GOLAN J. S.
Pitman Research Notes in Mathematics, Series, 1987
Cited by (1)

13
 Ideals in universal algebras

GUMM H. P.
Algebra Universities 19, 4554, 1984
Cited by (1)

14
 <no title>

HAGEMANN J.
On regular and weakly regular congruences, 1973
Cited by (1)

15
 Dually residuated commutative monoids with identity element as least element do not form an equational class

HIGGS D.
Math. Japonica 29, 6975, 1984
Cited by (1)

16
 On varieties of BCKalgebras

IDZIAK P. M.
Math. Japonica 28, 157162, 1983
Cited by (1)

17
 BCKalgebras with condition (S)

ISEKI K.
Math. Japonica 24, 107119, 1979
Cited by (1)

18
 On BCKAlgebras with condition (S)

ISEKI K.
Math. Japonica 24, 625626, 1980
Cited by (2)

19
 An introduction to the theory of BCKalgebras

ISEKI K.
Math. Japonica 23, 126, 1978
Cited by (15)

20
 The class of BCCalgebras is not a variety

KOMORI Y.
Math. Japonica 29, 391394, 1984
Cited by (2)

21
 <no title>

PRIOR A. N.
Formal Logic, 1962
Cited by (3)

22
 An embedding theorem of BCKalgebras

PALASINSKI M.
Math. Seminar Notes Kobe Univ. 10, 719751, 1982
Cited by (1)

23
 BCKalgebras do not form a varity

WRONSKI A.
Math. Japonica 28, 211213, 1983
Cited by (1)

24
 An algebraic motivation for BCKalgebras

WRONSKI A.
Math. Japonica 30, 187193, 1985
Cited by (3)

25
 <no title>

VAN ALTEN C. J.
On quasivariety semantics of fragments of intuitionistic propositional logic without exchange and contraction rules, 1997
Cited by (1)

26
 Every BCKalgebra is a set of residuables in an integral pomonoid

FLEISCHER I.
J. Algebra 119, 360365, 1988
DOI Cited by (3)

27
 Commutator theory for relatively modular quasivarieties

KEARNES K.
Trans. Amer. Math. Soc. 331, 465502, 1992
DOI Cited by (1)

28
 The variety generated by BCCalgebras is finitely basded

KOMORI Y.
Reports of the Faculty of Science, Shizuoka University 17, 1316, 1983
Cited by (1)

29
 Characterization of relatively distributive quasivarieties of algebras

NURAKUNOV A. M.
Algebra and Logic 29, 451458, 1990
DOI Cited by (1)

30
 Logics without the contraction rule

ONO H.
J. Symbolic Logic 50, 169201, 1985
DOI Cited by (7)