Concepedia

Peter Jipsen

PJ

Statistics

Publications

21

Citations

648

H-Index

16

Active since

1992

Affiliations

Chapman University(Current)

University of Denver

University of Siena

Vanderbilt University

University of Cape Town

Peter Jipsen is an author at Chapman University specializing in automated reasoning, representation theory, and engineering.

Top concepts

Automated ReasoningRepresentation TheoryEngineeringFormal MethodsComputer ScienceSemanticsFormal VerificationFunctional AnalysisDiscrete MathematicsModular Construction

Publications per year

1992–2023

21

Publications

21

Cancellative residuated lattices

Patrick Bahls, James A. Cole, Nikolaos Galatos et al. · Algebra Universalis · 2003 · 99 citations

Partially Ordered Set, Lattice Theory, Lattice (Order) +1

Residuated frames with applications to decidability

Nikolaos Galatos, Peter Jipsen · Transactions of the American Mathematical Society · 2012 · 76 citations · Full text

Algebraic Logic, Relational Semantics, Finite Model Property +13

On the structure of generalized BL-algebras

Peter Jipsen, F. Montagna · Algebra Universalis · 2006 · 57 citations

Abstract Algebra, Representation Theory, Quantum Algebra +2

Algebraic Aspects of Cut Elimination

Francesco Belardinelli, Peter Jipsen, Hiroakira Ono · Studia Logica · 2004 · 52 citations

Mathematical Programming, Algebraic Structure, Algebraic Method +2

The Blok–Ferreirim theorem for normal GBL-algebras and its application

Peter Jipsen, F. Montagna · Algebra Universalis · 2009 · 37 citations

Lie Algebra, Commutative Algebra, Representation Theory +1

1–5 of 21