E-LIB Suche - Ergebnisse für: Jipsen, Peter

1

Algebraic Proof Theory for LE-logics:

Greco, Giuseppe ; Jipsen, Peter ; Liang, Fei..
ACM Transactions on Computational Logic. 25 (2024) 1 - p. 1-37 , 2024

Link: https://doi.org/10.1145/..

2

$$\varvec{S}$$-preclones and the Galois connection $$\varve..:

Jipsen, Peter ; Lehtonen, Erkko ; Pöschel, Reinhard
Algebra universalis. 85 (2024) 3 - p. , 2024

Link: https://doi.org/10.1007/..

3

The Structure of Locally Integral Involutive Po-monoids and..:

, In: Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science,

Gil-Férez, José ; Jipsen, Peter ; Lodhia, Siddhartha - p. 69-86 , 2023

Link: https://doi.org/10.1007/..

4

Representable and Diagonally Representable Weakening Relati..:

, In: Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science,

Jipsen, Peter ; Šemrl, Jaš - p. 140-157 , 2023

Link: https://doi.org/10.1007/..

5

$S$-preclones and the Galois connection ${}^S\mathrm{Pol}$-..:

Jipsen, Peter ; Lehtonen, Erkko ; Pöschel, Reinhard
http://arxiv.org/abs/2306.00493. , 2023

Link: http://arxiv.org/abs/230..

6

Locally Integral Involutive PO-Semigroups:

Gil-Férez, José ; Jipsen, Peter ; Sugimoto, Melissa
http://arxiv.org/abs/2310.12926. , 2023

Link: http://arxiv.org/abs/231..

7

Representable and diagonally representable weakening relati..:

Jipsen, Peter ; Šemrl, Jaš
http://arxiv.org/abs/2301.02213. , 2023

Link: http://arxiv.org/abs/230..

8

A finite axiomatization of positive MV-algebras:

Abbadini, Marco ; Jipsen, Peter ; Kroupa, Tomáš.
Algebra universalis. 83 (2022) 3 - p. , 2022

Link: https://doi.org/10.1007/..

9

Varieties of unary-determined distributive $\ell$-magmas an..:

Alpay, Natanael ; Jipsen, Peter ; Sugimoto, Melissa
http://arxiv.org/abs/2211.02804. , 2022

Link: http://arxiv.org/abs/221..

10

On the Representation of Boolean Magmas and Boolean Semilat..:

, In: Hajnal Andréka and István Németi on Unity of Science; Outstanding Contributions to Logic,

Jipsen, Peter ; Eyad Kurd-Misto, M. ; Wimberley, James - p. 289-312 , 2021

Link: https://doi.org/10.1007/..

11

The structure of finite commutative idempotent involutive r..:

Jipsen, Peter ; Tuyt, Olim ; Valota, Diego
Algebra universalis. 82 (2021) 4 - p. , 2021

Link: https://doi.org/10.1007/..

12

Algorithmic Correspondence for Relevance Logics, Bunched Im..:

, In: Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science,

Conradie, Willem ; Goranko, Valentin ; Jipsen, Peter - p. 126-143 , 2021

Link: https://doi.org/10.1007/..

13

An Algebraic Glimpse at Bunched Implications and Separation..:

, In: Outstanding Contributions to Logic; Hiroakira Ono on Substructural Logics,

Jipsen, Peter ; Litak, Tadeusz - p. 185-242 , 2021

Link: https://doi.org/10.1007/..

14

Lattice-ordered pregroups are semi-distributive:

Galatos, Nick ; Jipsen, Peter ; Kinyon, Michael.
Algebra universalis. 82 (2021) 1 - p. , 2021

Link: https://doi.org/10.1007/..

15

Unary-Determined Distributive $$\ell $$-magmas and Bunched ..:

, In: Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science,

Alpay, Natanael ; Jipsen, Peter ; Sugimoto, Melissa - p. 19-36 , 2021

Link: https://doi.org/10.1007/..