19 citations · 49 across the 19 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021★ 4 cited
A finite axiomatization of positive MV-algebras
Marco Abbadini, Peter Jipsen, Tomáš Kroupa +1
Positive MV-algebras are the subreducts of MV-algebras with respect to the signature . We provide a finite quasi-equational axiomatization for…
cs.LO2021★ 1 cited
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report)
Willem Conradie, Valntin Goranko, Peter Jipsen
The non-deterministic algorithmic procedure PEARL (an acronym for `Propositional variables Elimination Algorithm for Relevance Logic') has been recently developed for computing fir…