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

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/..

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

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/..

5

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/..

6

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/..

7

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/..

8

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/..

9

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/..

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

Weakening Relation Algebras and FL$$^2$$-algebras:

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

Galatos, Nikolaos ; Jipsen, Peter - p. 117-133 , 2020

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

12

Commutative Doubly-Idempotent Semirings Determined by Chain..:

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

Alpay, Natanael ; Jipsen, Peter - p. 1-14 , 2020

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

13

Relational and Algebraic Methods in Computer Science: 18th ..

Theoretical Computer Science and General Issues, 12062

Fahrenberg, Uli ; Jipsen, Peter ; Winter, Michael - 1st ed. 2020 . , 2020

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

14

Structure theorems for idempotent residuated lattices:

Gil-Férez, José ; Jipsen, Peter ; Metcalfe, George
Algebra universalis. 81 (2020) 2 - p. , 2020

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

15

The structure of generalized BI-algebras and weakening rela..:

Galatos, Nikolaos ; Jipsen, Peter
Algebra universalis. 81 (2020) 3 - p. , 2020

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