ON A CONJECTURE BY ANDRZEJ WRONSKI FOR BCKALGEBRAS AND SUBREDUCTS OF HOOPS

 FERREIRIM Isabel M. A.
 Centro de Algebra da Universidade de Lisboa
Search this Article
Author(s)

 FERREIRIM Isabel M. A.
 Centro de Algebra da Universidade de Lisboa
Journal

 Scientiae Mathematicae japonicae

Scientiae Mathematicae japonicae 53(1), 119132, 20010101
References: 37

1
 <no title>

AGLIANO P.
Basic hoops: an algebraic study of continuous tnorms
Cited by (1)

2
 Hoops and their implicational reducts (abstract)

BLOK W. J.
Algebraic Methods in Logic and Computer Science, Banach Center Publications 28, 219230, 1993
Cited by (1)

3
 On the structure of hoops

BLOK W. J.
Algebra Universalis 43, 233257, 2000
Cited by (1)

4
 Algebraizable logics

BLOK W. J.
Mem. Amer. Math. Soc. 396, 1989
Cited by (1)

5
 On the structure of varieties with equationally definable principal congruences III

BLOK W. J.
Algebra Universalis 32, 545608, 1994
Cited by (4)

6
 On the quasivariety of BCKalgebras and its subvarieties

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

7
 Komplementare halbgruppen. Axiomatik und arithmetik

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

8
 Residuation groupoids

BOSBACH B.
Bull. Academie Polonaise Sc, Ser. des Sciences Math., Astr. et Phys 22, 103104, 1974
Cited by (1)

9
 Concerning cone algebras

BOSBACH B.
Algebra Universalis 15, 3866, 1982
Cited by (1)

10
 3permutability and quasicommutative BCKalgebras

CORNISH W. H.
Math. Japonica 25, 477496, 1980
Cited by (1)

11
 Varieties generated by finite BCKalgebras

CORNISH W. H.
Bull. Austral. Math. Soc. 22, 411430, 1980
Cited by (1)

12
 A Large Variety of BCKAlgebras

CORNISH W. H.
Math. Japonica 26, 339344, 1981
Cited by (2)

13
 On Iseki's BCKalgebras

CORNISH W. H.
Lect. Notes in Pure and Appl. Math. 74, 101122, 1982
Cited by (1)

14
 Embedding of commutative BCKalgebras into distributive lattice BCKalgebras

CORNISH W. H.
Math. Japonica 29, 309320, 1984
Cited by (2)

15
 Sur les algebres de Hilbert

DIEGO A.
Collection Logique Mathematique, Series A 21, 1966
Cited by (1)

16
 On Varieties and quasivarieties of hoops and their reducts

FERREIRIM I. M. A.
Ph. D. Thesis, University of Illinois, 1992
Cited by (1)

17
 <no title>

GRATZER G.
General lattice theory, 1987
Cited by (1)

18
 <no title>

HAJEK P.
Metamathematics of Fuzzy Logic, Trends in Logic, 1998
Cited by (1)

19
 Dually residuated commutative monoids with identity element do not form an equational class

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

20
 An algebra related with a propositional calculus

ISEKI K.
Proc. Japan Acad. 42, 2629, 1966
Cited by (9)

21
 An introduction to the theory of BCKalgebras

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

22
 Ordinal unions of BCKalgebras

ISEKI K.
Math Seminar Notes, Kobe Univ. 8, 307308, 1980
Cited by (1)

23
 SuperLukasiewicz implicational logics

KOMORI Y.
Nagoya Math. J. 72, 127133, 1978
Cited by (1)

24
 A syntactic proof of a conjecture of Andrzej Wronski

KOWALSKI T.
Rep. Math. Logic 28, 8186, 1994
Cited by (1)

25
 An embedding theorem for BCKalgebras

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

26
 Eight simple questions concerning BCKalgebras

PALASINSKI M.
Rep. Math. Logic 20, 8791, 1986
Cited by (1)

27
 Tolerance relations and BCKalgebras

RAFTERY J. G.
Math. Japonica 36, 399410, 1991
Cited by (1)

28
 On commutative BCKalgebras

ROMANOWSKA A.
Math. Japonica 25, 567583, 1980
Cited by (2)

29
 Commutative BCKalgebras. Subdirectly irreducible algebras and varieties

ROMANOWSKA A.
Math. Japonica 27, 3548, 1982
Cited by (1)

30
 On ∧commutative algebras

TANAKA S.
Math. Seminar Notes, Kobe Univ. 3, 5964, 1975
Cited by (1)

31
 On the variety of bounded commutative BCKalgebras

TRACZYK T.
Math. Japonica 24, 283292, 1979
Cited by (2)

32
 BCKalgebras do not form a variety

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

33
 An algebraic motivation for BCKalgebras

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

34
 On a system of axioms of a commutative BCKalgebra

YUTANI H.
Math. Seminar Notes, Kobe Univ. 5, 255256, 1977
Cited by (1)

35
 Varieties of Commutative Residuated Integral Pomonoids and Their Residuation Subreducts

BLOK W. J.
Journal of Algebra 190, 280328, 1997
DOI Cited by (2)

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

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

37
 Logics without the contraction rule

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