◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

P. Jipsen

22 papers hereh-index 212.5k citations114 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author8
  • middle author12
  • last author2

Across the 22 of 22 papers where every author was matched, so the position is known.

fields
  • math.LO12
  • cs.LO5
  • math.RA4
  • math.CO1

identity via Semantic Scholar / OpenAlex

activity
20132026
most citedAlgebraic proof theory for LE-logics

19 citations · 49 across the 19 of their papers we have counts for

collaborators
Showing 2020Show all

3 papers · 1 filter

math.RA2020

Injective and projective semimodules over involutive semirings

Peter Jipsen, Sara Vannucci

We show that the term equivalence between MV-algebras and MV-semirings lifts to involutive residuated lattices and a class of semirings called \textit{involutive semirings}. The se…

math.LO2020

The structure of finite commutative idempotent involutive residuated lattices

Peter Jipsen, Olim Tuyt, Diego Valota

We characterize commutative idempotent involutive residuated lattices as disjoint unions of Boolean algebras arranged over a distributive lattice. We use this description to introd…

math.LO2020

Structure theorems for idempotent residuated lattices

José Gil-Férez, Peter Jipsen, George Metcalfe

In this paper we study structural properties of residuated lattices that are idempotent as monoids. We provide descriptions of the totally ordered members of this class and obtain…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.