BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

José Luis Castiglioni

José Luis Castiglioni appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.LOmath.RA

Catalog footprint

What is connected

3works
2topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

3 published item(s)

preprint2016arXiv

On a symmetrization of hemiimplicative semilattices

A hemiimplicative semilattice is a bounded semilattice $(A, \wedge, 1)$ endowed with a binary operation $\to$, satisfying that for every $a, b, c \in A$, $a \leq b \to c$ implies $a \wedge b \leq c$ (that is to say, one of the conditionals satisfied by the residuum of the infimum) and the equation $a \to a = 1$. The class of hemiimplicative semilattices form a variety. These structures provide a general framework for the study of different structures of interest in algebraic logic. In any hemiimplicative semilattice it is possible to define a derived operation by $a \sim b := (a \to b) \wedge (b \to a)$. Endowing $(A, \wedge, 1)$ with the binary operation $\sim$ results again a hemiimplicative semilattice, which also satisfies the identity $a \sim b = b \sim a$. We call the elements of the subvariety of hemiimplicative semilattices satisfying $a \to b = b \to a$, a symmetric hemiimplicative semilattice. In this article, we study the correspondence assigning the symmetric hemiimplicative semilattice $(A, \wedge, \sim , 1)$ to the hemiimplicative semilattice $(A, \wedge, \to, 1)$. In particular, we characterize the image of this correspondence. We also provide many new examples of hemiimplicative semilattice structures on any bounded semillatice (possibly with bottom). Finally, we characterize congruences on the clases of hemiimplicative semilattices introduced as examples and we describe the principal congruences of hemiimplicative semilattices.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Universal central extensions of Lie-Rinehart algebras

In this paper we study the universal central extension of a Lie--Rinehart algebra and we give a description of it. Then we study the lifting of automorphisms and derivations to central extensions. We also give a definition of a non-abelian tensor product in Lie--Rinehart algebras based on the construction of Ellis of non-abelian tensor product of Lie algebras. We relate this non-abelian tensor product to the universal central extension.

0 citations0 reviewsNo code linkedOpen access