BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Lavinia Corina Ciungu

Lavinia Corina Ciungu contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.GM

Trust snapshot

Quick read

Trust 21 - Emerging
6works
0followers
2topics
0close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2026arXiv

Implicative-ortholattices as orthogonality spaces

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 implicative-orthomodular lattices. Moreover, we define the commutativity relation between two elements of an implicative-ortholattice, as well as the Sasaki projections on this structure. Furthermore, we characterize the implicative-orthomodular lattices and implicative-Boolean algebras, showing that the center of an implicative-orthomodular lattice is an implicative-Boolean algebra. We prove that an implicative-ortholattice is an implicative-orthomodular lattice if and only if it admits a full Sasaki set of projections. Finally, based on Sasaki maps on implicative-ortholattices, we introduce the notion of Sasaki spaces, proving that when a complete implicative-ortholattice admits a full Sasaki set of projections, it is a Sasaki space. We also provide a characterization of Dacey spaces arising from implicative-ortholattices.

0 citations0 reviewsNo code linkedOpen access
preprint2024arXiv

Implicative-orthomodular algebras

Starting from involutive BE algebras, we redefine the orthomodular algebras, by introducing the notion of implicative-orthomodular algebras. We investigate properties of implicative-orthomodular algebras, and give characterizations of these algebras. Then we define and study the notions of filters and deductive systems, and characterize certain classes of filters. Furthermore, we introduce and characterize the commutative deductive systems in implicative-orthomodular algebras. We also show that any deductive system determines a congruence, and conversely, for any congruence we can define a deductive system in an implicative-orthomodular algebra. We define the quotient implicative-orthomodular algebra with respect to the congruence induced by a deductive system, and prove that a deductive system is commutative if and only if all deductive systems of the corresponding quotient algebra are commutative.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Quantum B-algebras with involutions

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 with pseudo-product. As an application, we introduce and investigate the notions of existential and universal quantifiers on involutive quantum B-algebras. It is proved that there is a one-to-one correspondence between the quantifiers on weakly involutive quantum B-algebras. One of the main results consists of proving that any pair of quantifiers is a monadic operator on weakly involutive quantum B-algebras. We investigate the relationship between quantifiers on bounded sup-commutative pseudo BCK-algebras and quantifiers on other related algebraic structures, such as pseudo MV-algebras and bounded Wajsberg hoops.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Commutative deductive systems of pseudo BCK-algebras

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-algebras. A characterization of commutative pseudo BCK-algebras is also given. We define the commutative deductive systems of pseudo BCK-algebras and we generalize some results proved by Yisheng Huang for commutative ideals of BCI-algebras to the case of commutative deductive systems of pseudo BCK-algebras. We prove that a pseudo BCK-algebra $A$ is commutative if and only if all the deductive systems of $A$ are commutative. We show that a normal deductive system $H$ of a pseudo BCK-algebra $A$ is commutative if and only if $A/H$ is a commutative pseudo BCK-algebra. We introduce the notions of state operators and state-morphism operators on pseudo BCK-algebras, and we apply these results on commutative deductive systems to investigate the properties of these operators.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Commutative pseudo equality algebras

Pseudo equality algebras were initially introduced by Jenei and $\rm K\acute{o}r\acute{o}di$ as a possible algebraic semantic for fuzzy type theory, and they have been revised by Dvurečenskij and Zahiri under the name of JK-algebras. In this paper we define and study the commutative pseudo equality algebras. We give a characterization of commutative pseudo equality algebras and we prove that an invariant pseudo equality algebra is commutative if and only if its corresponding pseudo BCK(pC)-meet-semilattice is commutative. Other results consist of proving that every commutative pseudo equality algebra is a distributive lattice and every finite invariant commutative pseudo equality algebra is a symmetric pseudo equality algebra. We also introduce and investigate the commutative deductive systems of pseudo equality algebras. As applications of these notions and results we define and study the measures and measure-morphisms on pseudo equality algebras, we prove new properties of state pseudo equality algebras, and we introduce and investigate the pseudo-valuations on pseudo equality algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

State pseudo equality algebras

Pseudo equality algebras were initially introduced by Jenei and $\rm K\acute{o}r\acute{o}di$ as a possible algebraic semantic for fuzzy type theory, and they have been revised by Dvure\v censkij and Zahiri under the name of JK-algebras. The aim of this paper is to investigate the internal states and the state-morphisms on pseudo equality algebras. We define and study new classes of pseudo equality algebras, such as commutative, symmetric, pointed and compatible pseudo equality algebras. We prove that any internal state (state-morphism) on a pseudo equality algebra is also an internal state (state-morphism) on its corresponding pseudo BCK(pC)-meet-semilattice, and we prove the converse for the case of linearly ordered symmetric pseudo equality algebras. We also show that any internal state (state-morphism) on a pseudo BCK(pC)-meet-semilattice is also an internal state (state-morphism) on its corresponding pseudo equality algebra. The notion of a Bosbach state on a pointed pseudo equality algebra is introduced and proved that any Bosbach state on a pointed pseudo equality algebra is also a Bosbach state on its corresponding pointed pseudo BCK(pC)-meet-semilattice. For the case of an invariant pointed pseudo equality algebra, we show that the Bosbach states on the two structures coincide.

0 citations0 reviewsNo code linkedOpen access