-
1
-
-
0002177182
-
Non-commutative logic programming language NoClog
-
Santa Barbara, Short Presentation
-
R. Baudot, 'Non-commutative logic programming language NoClog', in: Symposium LICS (Santa Barbara, 2000, Short Presentation) pp. 3-9.
-
(2000)
Symposium LICS
, pp. 3-9
-
-
Baudot, R.1
-
3
-
-
84968495744
-
Algebraic analysis of many valued logics
-
C. C. Chang, 'Algebraic analysis of many valued logics', Trans. Amer. Math. Soc. 88 (1958), 467-490.
-
(1958)
Trans. Amer. Math. Soc.
, vol.88
, pp. 467-490
-
-
Chang, C.C.1
-
6
-
-
0013025140
-
Pseudo-BL-algebras, I, II
-
to appear
-
A. Di Nola, G. Georgescu and A. Iorgulescu, 'Pseudo-BL-algebras, I, II', Mult.-Valued Logic (to appear).
-
Mult.-Valued Logic
-
-
Di Nola, A.1
Georgescu, G.2
Iorgulescu, A.3
-
7
-
-
0036344748
-
Pseudo MV-algebras are intervals in l-groups
-
A. Dvurečenskij, 'Pseudo MV-algebras are intervals in l-groups', J. Austral. Math. Soc. 72 (2002), 427-445.
-
(2002)
J. Austral. Math. Soc.
, vol.72
, pp. 427-445
-
-
Dvurečenskij, A.1
-
10
-
-
23044528071
-
Pseudoeffect algebras. II. Group representations
-
_, 'Pseudoeffect algebras. II. Group representations', Internat. J. Theor. Phys. 40 (2001), 703-726.
-
(2001)
Internat. J. Theor. Phys.
, vol.40
, pp. 703-726
-
-
-
11
-
-
34249771882
-
Effect algebras and unsharp quantum logics
-
D. J. Foulis and M. K. Bennett, 'Effect algebras and unsharp quantum logics', Found. Phys. 24 (1994), 1325-1346.
-
(1994)
Found. Phys.
, vol.24
, pp. 1325-1346
-
-
Foulis, D.J.1
Bennett, M.K.2
-
12
-
-
0001867939
-
Pseudo-MV algebras: A non-commutative extension of MV-algebras
-
May 6-9, Bucharest (ed. I. Smeureanu et al.) (INFOREC Printing House, Bucharest, 1999)
-
G. Georgescu and A. Iorgulescu, 'Pseudo-MV algebras: A non-commutative extension of MV-algebras', in: Proc. Fourth Inter. Symp. on Econ. Inform., May 6-9, 1999, Bucharest (ed. I. Smeureanu et al.) (INFOREC Printing House, Bucharest, 1999) pp. 961-968.
-
(1999)
Proc. Fourth Inter. Symp. on Econ. Inform.
, pp. 961-968
-
-
Georgescu, G.1
Iorgulescu, A.2
-
13
-
-
0002232289
-
Pseudo-MV algebras
-
_, 'Pseudo-MV algebras', Mult.-Valued Logic 6 (2001), 95-135.
-
(2001)
Mult.-Valued Logic
, vol.6
, pp. 95-135
-
-
-
14
-
-
0003265876
-
Partially ordered abelian groups with interpolation
-
Amer. Math. Soc., Providence, RI
-
K. R. Goodearl, Partially ordered abelian groups with interpolation, Math. Surveys and Monographs 20 (Amer. Math. Soc., Providence, RI, 1986).
-
(1986)
Math. Surveys and Monographs
, vol.20
-
-
Goodearl, K.R.1
-
16
-
-
0034355362
-
Cantor-Bernstein theorem for MV-algebras
-
J. Jakubík, 'Cantor-Bernstein theorem for MV-algebras', Czechoslovak Math. J. 49 (1999), 517-529.
-
(1999)
Czechoslovak Math. J.
, vol.49
, pp. 517-529
-
-
Jakubík, J.1
-
17
-
-
0012745437
-
A theorem of Cantor-Bernstein theorem type for orthogonally σ-complete pseudo MV-algebras
-
to appear
-
_, 'A theorem of Cantor-Bernstein theorem type for orthogonally σ-complete pseudo MV-algebras', Tatra Mt. Math. Publ. (to appear).
-
Tatra Mt. Math. Publ.
-
-
-
18
-
-
0036945010
-
A Cantor-Bernstein type theorem for effect algebras
-
to appear
-
G. Jenča, 'A Cantor-Bernstein type theorem for effect algebras', Algebra Universalis (to appear).
-
Algebra Universalis
-
-
Jenča, G.1
-
20
-
-
0001797805
-
Interpretation of AF C*-algebras in Łukasiewicz sentential calculus
-
D. Mundici, 'Interpretation of AF C*-algebras in Łukasiewicz sentential calculus', J. Funct. Anal. 65 (1986), 15-63.
-
(1986)
J. Funct. Anal.
, vol.65
, pp. 15-63
-
-
Mundici, D.1
-
21
-
-
0036350981
-
A non-commutative generalization of MV-algebras
-
J. Rachůnek, 'A non-commutative generalization of MV-algebras', Czechoslovak Math. J. 52 (2002), 255-273.
-
(2002)
Czechoslovak Math. J.
, vol.52
, pp. 255-273
-
-
Rachůnek, J.1
|