Differences

This shows you the differences between two versions of the page.

bck-algebras [2010/07/29 15:23]
127.0.0.1 external edit
bck-algebras [2018/08/11 14:15] (current)
jipsen
Line 57: Line 57:
$\begin{array}{lr} $\begin{array}{lr}
f(1)= &1\\ f(1)= &1\\
-f(2)= &\\ +f(2)= &1\\ 
-f(3)= &\\ +f(3)= &3\\ 
-f(4)= &\\ +f(4)= &14\\ 
-f(5)= &\\ +f(5)= &88\\ 
-f(6)= &\\+f(6)= &775\\
\end{array}$ \end{array}$
Line 75: Line 75:
[(Prior1962> [(Prior1962>
A. N. Prior, \emph{Formal logic}, A. N. Prior, \emph{Formal logic},
-Second edition, Clarendon Press, Oxford, 1962, p.316 +Second edition, Clarendon Press, Oxford, 1962, p.316)]
-[[MRreview]]+
[(Wronski1983> [(Wronski1983>
Andrzej Wronski,\emph{BCK-algebras do not form a variety}, Andrzej Wronski,\emph{BCK-algebras do not form a variety},
-Math. Japon., \textbf{28}, 1983, 211--213 [[http://www.ams.org/mathscinet-getitem?mr=84e:06015|MRreview]]+Math. Japon., \textbf{28}, 1983, 211--213)]
[(Wronski1984> [(Wronski1984>
Andrzej Wronski,\emph{Interpolation and amalgamation properties of BCK-algebras}, Andrzej Wronski,\emph{Interpolation and amalgamation properties of BCK-algebras},
-Math. Japon., \textbf{29}, 1984, 115--121 [[http://www.ams.org/mathscinet-getitem?mr=85e:06015|MRreview]] +Math. Japon., \textbf{29}, 1984, 115--121)]
-)]+