Results 11 to 20 of about 151 (43)

Lukasiewicz logic and Riesz spaces [PDF]

, 2013
We initiate a deep study of {\em Riesz MV-algebras} which are MV-algebras endowed with a scalar multiplication with scalars from $[0,1]$. Extending Mundici's equivalence between MV-algebras and $\ell$-groups, we prove that Riesz MV-algebras are ...
Di Nola, Antonio, Leustean, Ioana
core   +1 more source

Interval valued $(\in,\ivq)$-fuzzy filters of pseudo $BL$-algebras

, 2008
We introduce the concept of quasi-coincidence of a fuzzy interval value with an interval valued fuzzy set. By using this new idea, we introduce the notions of interval valued $(\in,\ivq)$-fuzzy filters of pseudo $BL$-algebras and investigate some of ...
A Di Nola, A Di Nola, A Dvurečenskij, A Dvurečenskij, A Dvurečenskij, A Iorgulescu, B Davvaz, B Davvaz, CC Chang, E Turunen, E Turunen, G Deschrijver, G Georgescu, G Georgescu, G Georgescu, HB Curry, J Rachunek, J Rachunek, J Zhan, Jianming Zhan, LA Zadeh, LA Zadeh, LA Zadeh, MV Janowitz, P Flonder, P Hájek, PM Pu, R Biswas, SK Bhakat, SK Bhakat, W Zeng, WC Nemitz, Wiesław A. Dudek, X Ma, XH Yuan, XH Zhang, XH Zhang, Young Bae Jun   +37 more
core   +1 more source

A representation theorem for MV-algebras

, 2006
An {\em MV-pair} is a pair $(B,G)$ where $B$ is a Boolean algebra and $G$ is a subgroup of the automorphism group of $B$ satisfying certain conditions. Let $\sim_G$ be the equivalence relation on $B$ naturally associated with $G$. We prove that for every
A Dvurečenskij, C Chang, D Foulis, D Mundici, F Chovanec, F Kôpka, F Kôpka, G Grätzer, G Jenča, G Jenča, Gejza Jenča, H MacNeille, J Hashimoto, K Ravindran, M Bennett, R Cignoli, R Giuntini, S Gudder, S Koppelberg, S Pulmannová   +19 more
core   +2 more sources

On realization of generalized effect algebras

, 2012
A well known fact is that there is a finite orthomodular lattice with an order determining set of states which is not representable in the standard quantum logic, the lattice $L({\mathcal H})$ of all closed subspaces of a separable complex Hilbert space.
Blank, Dvurečenskij, Engelking, Foulis, Greechie, Gudder, Hedlíková, Jan Paseka, Kalmbach, Kôpka, Paseka, Paseka, Polakovič, Polakovič, Riečanová, Riečanová   +15 more
core   +1 more source

From probability to sequences and back [PDF]

, 2012
This is a survey covering sequential structures and their applications to the foundations of probability theory. Sequential convergence, convergence groups and the extension of sequentially continuous maps belong to general topology and Trieste for ...
Frič, Roman
core   +1 more source

On a New Construction of Pseudo BL-Algebras [PDF]

, 2014
We present a new construction of a class pseudo BL-algebras, called kite pseudo BL-algebras. We start with a basic pseudo hoop $A$. Using two injective mappings from one set, $J$, into the second one, $I$, and with an identical copy $\overline A$ with ...
Dvurečenskij, Anatolij
core  

Remarks on some connections between ideals and filters in residuated lattices

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica
Ideals and filters are important notions with different meanings in the study of algebraic structures related to logical systems. In this paper we establish new connections between these concepts in residuated lattices.
Piciu Dana, Dan Christina, Boboc Florentina   +2 more
doaj   +1 more source

Convergences in perfect BL-algebras [PDF]

, 2007
The aim of the paper is to investigate some concepts of convergence in the class of perfect BL-algebras. Similarity convergence was developed by G. Georgescu and A.
Ciungu, L.C.
core   +1 more source

Lexicographic Effect Algebras [PDF]

, 2014
In the paper we investigate a class of effect algebras which can be represented in the form of the lexicographic product $\Gamma(H\lex G,(u,0))$, where $(H,u)$ is an Abelian unital po-group and $G$ is an Abelian directed po-group.
Dvurečenskij, Anatolij
core  

Pseudo MV-algebras and Lexicographic Product [PDF]

, 2014
We study algebraic conditions when a pseudo MV-algebra is an interval in the lexicographic product of an Abelian unital $\ell$-group and an $\ell$-group that is not necessary Abelian.
Dvurečenskij, Anatolij
core