1 citations · 1 across the 13 of their papers we have counts for
20 papers
Implicative-ortholattices as orthogonality spaces
Lavinia Corina Ciungu
We obtain an orthogonality space by endowing an implicative-ortholattice with a suitable orthogonality relation; for such spaces, we also investigate the particular case of implica…
Classification of states on certain orthomodular structures
Lavinia Corina Ciungu
We define various type of states on implicative involutive BE algebras (Jauch-Piron state, (P)-state, (B)-state, subadditive state, valuation), and we investigate the relationships…
Foulis-Holland theorem for implicative-orthomodular lattices
Lavinia Corina Ciungu
We introduce the notion of distributivity for implicative-orthomodular lattices, proving an analogue result of the Foulis-Holland theorem. Based on this result, we characterize the…
Implicative-orthomodular lattices
Lavinia Corina Ciungu
Based on implicative involutive BE algebras, we redefine the orthomodular lattices, by introducing the notion of implicative-orthomodular lattices, and we study their properties. W…
Generalizations of quantum-Wajsberg algebras
Lavinia Corina Ciungu
Starting from involutive BE algebras, we redefine the pre-MV and meta-MV algebras, by introducing the notion of pre-Wajsberg and meta-Wajsberg algebras, as generalizations of quant…
Centers of quantum-Wajsberg algebras
Lavinia Corina Ciungu
We define the Wajsberg-center and the OML-center of a quantum-Wajsberg algebra, and study their structures. We prove that the Wajsberg-center is a Wajsberg subalgebra of a quantum-…
Implicative-orthomodular algebras
Lavinia Corina Ciungu
Starting from involutive BE algebras, we redefine the orthomodular algebras, by introducing the notion of implicative-orthomodular algebras. We investigate properties of implicativ…
Quotient quantum-Wajsberg algebras
Lavinia Corina Ciungu
We define and study the notions of q-deductive systems, p-deductive systems, deductive systems, maximal and strongly maximal q-deductive systems in quantum-Wajsberg algebras. We al…
Quantum-Wajsberg algebras
Lavinia Corina Ciungu
Starting from involutive BE algebras, we redefine the quantum-MV algebras, by introducing and studying the notion of quantum-Wajsberg algebras. We define the -commutative qua…
Quantum B-algebras with involutions
Lavinia Corina Ciungu
The aim of this paper is to define and study the involutive and weakly involutive quantum B-algebras. We prove that any weakly involutive quantum B-algebra is a quantum B-algebra w…
Monadic pseudo BE-algebras
Lavinia Corina Ciungu
In this paper we define the monadic pseudo BE-algebras and investigate their properties. We prove that the existential and universal quantifiers of a monadic pseudo BE-algebra form…
Pseudo BCI-algebras with derivations
Lavinia Corina Ciungu
In this paper we define two types of implicative derivations on pseudo-BCI algebras, we investigate their properties and we give a characterization of regular implicative derivatio…
Very true pseudo-BCK algebras
Lavinia Corina Ciungu
In this paper we introduce the very true operators on pseudo-BCK algebras and we study their properties. We prove that the composition of two very true operators is a very true ope…
Involutive filters of pseudo-hoops
Lavinia Corina Ciungu
In this this paper we introduce the notion of involutive filters of pseudo-hoops, and we emphasize their role in the probability theory on these structures. A characterization of i…
Fantastic deductive systems in probability theory on generalizations of fuzzy structures
Lavinia Corina Ciungu
The aim of this paper is to introduce the notion of fantastic deductive systems on generalizations of fuzzy structures, and to emphasize their role in the probability theory on the…
Commutative pseudo equality algebras
Lavinia Corina Ciungu
Pseudo equality algebras were initially introduced by Jenei and as a possible algebraic semantic for fuzzy type theory, and they have been revised by D…
Commutative deductive systems of pseudo BCK-algebras
Lavinia Corina Ciungu
In this paper we generalize the axiom systems given by M. Pałasiński, B. Woźniakowska and by W.H. Cornish for commutative BCK-algebras to the case of commutative pseudo BCK-algebra…
State pseudo equality algebras
Lavinia Corina Ciungu
Pseudo equality algebras were initially introduced by Jenei and as a possible algebraic semantic for fuzzy type theory, and they have been revised by D…
State BL-algebras
Lavinia Corina Ciungu, Anatolij Dvurečenskij, Marek Hyčko
The concept of a state MV-algebra was firstly introduced by Flaminio and Montagna in \cite{FlMo0} and \cite{FlMo} as an MV-algebra with internal state as a unary operation. Di Nola…
Measures, states and de Finetti maps on pseudo-BCK algebras
Lavinia Corina Ciungu, Anatolij Dvurečenskij
In this paper, we extend the notions of states and measures presented in \cite{DvPu} to the case of pseudo-BCK algebras and study similar properties. We prove that, under some cond…