L-algebras, self-similarity, and l-groups
暂无分享,去创建一个
[1] An algebraic characterization of quantifiers , 1950 .
[2] C. Chang,et al. Algebraic analysis of many valued logics , 1958 .
[3] C. Chang,et al. A new proof of the completeness of the Łukasiewicz axioms , 1959 .
[4] Peter Gabriel,et al. Calculus of Fractions and Homotopy Theory , 1967 .
[5] G. Nöbeling. Verallgemeinerung eines Satzes von Herrn E. Specker , 1968 .
[6] Bruno Bosbach. Rechtskomplementäre Halbgruppen. Axiome, Polynome, Kongruenzen , 1972 .
[7] Paul F. Conrad,et al. Epi-archimedean groups , 1974 .
[8] Klaus Keimel,et al. Groupes et anneaux réticulés , 1977 .
[9] K. Iseki. An introduction to the theory of BCK-algebra , 1978 .
[10] Marek Palasinski. Some Remarks on BCK-Algebras , 1980 .
[11] B. Bosbach,et al. Concerning cone algebras , 1982 .
[12] D. Mundici. Interpretation of AF -algebras in ukasiewicz sentential calculus , 1986 .
[13] Todd Feil,et al. Lattice-ordered groups , 1988 .
[14] W. Blok,et al. On the structure of varieties with equationally definable principal congruences IV , 1994 .
[15] M. Darnel. Theory of Lattice-Ordered Groups , 1994 .
[16] James G. Raftery,et al. Varieties of Commutative Residuated Integral Pomonoids and Their Residuation Subreducts , 1997 .
[17] Petr Hájek,et al. Metamathematics of Fuzzy Logic , 1998, Trends in Logic.
[18] M. Kondo. HILBERT ALGEBRAS ARE DUAL ISOMORPHIC TO POSITIVE IMPLICATIVE BCK-ALGEBRAS , 1999 .
[19] A. M. W. Glass,et al. Partially Ordered Groups , 1999 .
[20] W. Blok,et al. On the structure of hoops , 2000 .
[21] Ján Jakubík. Direct product decompositions of pseudo $MV$-algebras , 2001 .
[22] A. H. Rhemtulla. PARTIALLY ORDERED GROUPS (Series in Algebra 7) , 2001 .
[23] A. Dvurecenskij. Pseudo MV-algebras are intervals in ℓ-groups , 2002, Journal of the Australian Mathematical Society.
[24] Jiří Rachůnek,et al. A non-commutative generalization of MV-algebras , 2002 .
[25] J. Jakubík. Torsion classes of Specker lattice ordered groups , 2002 .
[26] J. Rachunek,et al. Prime spectra of non-commutative generalizations of MV-algebras , 2002 .
[27] Franco Montagna,et al. Hoops and Fuzzy Logic , 2003, J. Log. Comput..
[28] Antoni Torrens Torrell,et al. Glivenko like theorems in natural expansions of BCK-logic , 2004, Math. Log. Q..
[29] Wolfgang Rump,et al. A decomposition theorem for square-free unitary solutions of the quantum Yang-Baxter equation , 2005 .
[30] Daniele Mundici,et al. MV-algebras: a variety for magnitudes with archimedean units , 2005 .