-
2
-
-
0003074893
-
On the quasivariety of BCK-algebras and its subvarieties
-
W. Blok and J. G. Raftery, On the quasivariety of BCK-algebras and its subvarieties. Algebra Universalis 33, 68 - 90 (1995).
-
(1995)
Algebra Universalis
, vol.33
, pp. 68-90
-
-
Blok, W.1
Raftery, J.G.2
-
3
-
-
0031569723
-
Varieties of commutative residuated integral pomonoids and their residuaton subreducts
-
W. Blok and J. G. Raftery, Varieties of commutative residuated integral pomonoids and their residuaton subreducts. J. Algebra 190, 280-328 (1997).
-
(1997)
J. Algebra
, vol.190
, pp. 280-328
-
-
Blok, W.1
Raftery, J.G.2
-
4
-
-
0036998038
-
The finite embeddability property for residuated lattices, pocrims and BCK-algebras
-
W. Blok and C. J. van Alten, The finite embeddability property for residuated lattices, pocrims and BCK-algebras. Algebra Universalis 48, 253 - 271 (2002).
-
(2002)
Algebra Universalis
, vol.48
, pp. 253-271
-
-
Blok, W.1
van Alten, C.J.2
-
5
-
-
34247192910
-
-
S. Burris and H. P. Sankappanavar, A Course in Universal Algebra. Graduate Texts in Mathematics 78 (Springer-Verlag, 1981).
-
S. Burris and H. P. Sankappanavar, A Course in Universal Algebra. Graduate Texts in Mathematics 78 (Springer-Verlag, 1981).
-
-
-
-
6
-
-
26044440724
-
Glivenko like theorems in natural expansions of BCK-logic
-
R. Cignoli and A. Torrens, Glivenko like theorems in natural expansions of BCK-logic. Math. Logic Quarterly 50, 111-125 (2004).
-
(2004)
Math. Logic Quarterly
, vol.50
, pp. 111-125
-
-
Cignoli, R.1
Torrens, A.2
-
7
-
-
26044448742
-
Axiomatic extensions of the nilpotent minimum logic
-
113, 123
-
J. Gispert, Axiomatic extensions of the nilpotent minimum logic. Reports on Mathematical Logic 37, 113 - 123 (2003).
-
(2003)
Reports on Mathematical Logic
, vol.37
-
-
Gispert, J.1
-
8
-
-
0012942607
-
Predicate and set-theoretical calculi based on logic without contractions
-
V. N. Grišin, Predicate and set-theoretical calculi based on logic without contractions. Math. USSR Izvestija 18, 41 - 59 (1982).
-
(1982)
Math. USSR Izvestija
, vol.18
, pp. 41-59
-
-
Grišin, V.N.1
-
9
-
-
34247229518
-
0-algebras by means of identities
-
0-algebras by means of identities. Mathematical Notes 38, 861 - 867 (1985).
-
(1985)
Mathematical Notes
, vol.38
, pp. 861-867
-
-
Grišin, V.N.1
-
10
-
-
0003013265
-
Dually residuated commutative monoids with identity element as least elements do not form an equational class
-
D. Higgs, Dually residuated commutative monoids with identity element as least elements do not form an equational class. Math. Japonica 29, 69 - 74 (1984).
-
(1984)
Math. Japonica
, vol.29
, pp. 69-74
-
-
Higgs, D.1
-
11
-
-
0001243605
-
Lattice operations in BCK-algebras
-
P. M. Idziak, Lattice operations in BCK-algebras. Math. Japonica 29, 839 - 846 (1984).
-
(1984)
Math. Japonica
, vol.29
, pp. 839-846
-
-
Idziak, P.M.1
-
12
-
-
0000984431
-
An algebra related with a propositional calculus
-
K. Iseki, An algebra related with a propositional calculus. Proc. Japan Academy 42, 26 - 29 (1966).
-
(1966)
Proc. Japan Academy
, vol.42
, pp. 26-29
-
-
Iseki, K.1
-
14
-
-
0002665895
-
An introduction to the theory of BCK-algebras
-
K. Iseki and S. Tanaka, An introduction to the theory of BCK-algebras. Math. Japonica 23, 1 - 26 (1978).
-
(1978)
Math. Japonica
, vol.23
, pp. 1-26
-
-
Iseki, K.1
Tanaka, S.2
-
15
-
-
0001984558
-
Logics without the contraction rule
-
Y. Komori and H. Ono, Logics without the contraction rule. J. Symbolic Logic 50, 169 - 202 (1985).
-
(1985)
J. Symbolic Logic
, vol.50
, pp. 169-202
-
-
Komori, Y.1
Ono, H.2
-
16
-
-
0013374657
-
The variety of residuated lattices is generated by its finite simple members
-
59, 77
-
T. Kowalski and H. Ono, The variety of residuated lattices is generated by its finite simple members. Reports on Mathematical Logic 34, 59 - 77 (2000).
-
(2000)
Reports on Mathematical Logic
, vol.34
-
-
Kowalski, T.1
Ono, H.2
-
17
-
-
34247213750
-
-
lattices: An algebraic glimpse at logics without contraction. Monograph
-
T. Kowalski and H. Ono, Residuated lattices: An algebraic glimpse at logics without contraction. Monograph (2002).
-
(2002)
Residuated
-
-
Kowalski, T.1
Ono, H.2
-
18
-
-
34247210574
-
-
Doctoral dissertation, Jagiellonian University, Krakow
-
P. S. Krzysteck, O algebrach Pre-Boole'owskich. Doctoral dissertation, Jagiellonian University, Krakow, 1983.
-
(1983)
O algebrach Pre-Boole'owskich
-
-
Krzysteck, P.S.1
-
19
-
-
0000699110
-
On ideal and congruence lattices of BCK-algebras
-
M. Pałasiński, On ideal and congruence lattices of BCK-algebras. Math. Japonica 26, 543 - 544 (1981).
-
(1981)
Math. Japonica
, vol.26
, pp. 543-544
-
-
Pałasiński, M.1
-
20
-
-
0002012003
-
BCK algebras do not form a variety
-
A. Wroński, BCK algebras do not form a variety. Math. Japonica 28, 211-213 (1983).
-
(1983)
Math. Japonica
, vol.28
, pp. 211-213
-
-
Wroński, A.1
-
21
-
-
0009150913
-
Reflections and distensions of BCK algebras
-
A. Wroński, Reflections and distensions of BCK algebras. Math. Japonica 28, 215 - 225 (1983).
-
(1983)
Math. Japonica
, vol.28
, pp. 215-225
-
-
Wroński, A.1
|