The following pages link to Peter Jipsen (Q299203):
Displaying 15 items.
- Residuated frames with applications to decidability (Q4913809) (← links)
- On the Representation of Boolean Magmas and Boolean Semilattices (Q5015976) (← links)
- Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests (Q5098709) (← links)
- Weakening Relation Algebras and FL$$^2$$-algebras (Q5098717) (← links)
- Injective and projective semimodules over involutive semirings (Q5104147) (← links)
- Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras (Q5283208) (← links)
- ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS (Q5361138) (← links)
- Concurrent Kleene Algebra with Tests (Q5410476) (← links)
- On some Properties of quasi-MV √ Algebras and quasi-MV Algebras. Part IV (Q5412439) (← links)
- (Q5693612) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712430) (← links)
- Primitive lattice varieties (Q5864701) (← links)
- Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras (Q6151561) (← links)
- \(S\)-preclones and the Galois connection \(^S\mathrm{Pol} - {^S\mathrm{Inv}}\). I. (Q6579992) (← links)
- On the structure of balanced residuated partially ordered monoids (Q6747000) (← links)
