The following pages link to Peter Jipsen (Q299203):
Displaying 50 items.
- Concurrent Kleene algebra with tests and branching automata (Q299205) (← links)
- Generating all finite modular lattices of a given size (Q745707) (← links)
- The structure of generalized BI-algebras and weakening relation algebras (Q776989) (← links)
- (Q861598) (redirect page) (← links)
- On the structure of generalized BL-algebras (Q861599) (← links)
- Residuated lattices. An algebraic glimpse at substructural logics (Q881452) (← links)
- Embedding theorems for classes of GBL-algebras (Q964512) (← links)
- Generalizations of Boolean products for lattice-ordered algebras (Q1035658) (← links)
- Varieties of lattices (Q1202195) (← links)
- Minimal relation algebras (Q1337151) (← links)
- Small representations of the relation algebra \(\mathcal E_{n+1}(1,2,3)\) (Q1344846) (← links)
- On the structure of generalized effect algebras and separation algebras (Q1617816) (← links)
- Distributive residuated frames and generalized bunched implication algebras (Q1686325) (← links)
- On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras (Q1699728) (← links)
- Periodic lattice-ordered pregroups are distributive (Q1762476) (← links)
- Algebraic aspects of cut elimination (Q1770974) (← links)
- The variety generated by order algebras. (Q1771904) (← links)
- From semirings to residuated Kleene lattices (Q1826932) (← links)
- Adjoining units to residuated Boolean algebras (Q1902548) (← links)
- Total tense algebras and symmetric semiassociative relation algebras (Q1905987) (← links)
- Preface to the special issue: Recent developments related to residuated lattices and substructural logics (Q1935567) (← links)
- Relation algebras as expanded FL-algebras (Q1936489) (← links)
- Lattice-ordered pregroups are semi-distributive (Q1996094) (← links)
- Distributive laws in residuated binars (Q2007988) (← links)
- A finite axiomatization of positive MV-algebras (Q2153927) (← links)
- Structure theorems for idempotent residuated lattices (Q2182567) (← links)
- The structure of finite commutative idempotent involutive residuated lattices (Q2238026) (← links)
- Logics for rough concept analysis (Q2284185) (← links)
- Nonassociative right hoops (Q2330336) (← links)
- Topological duality and lattice expansions. I: A topological construction of canonical extensions. (Q2449453) (← links)
- Topological duality and lattice expansions. II: Lattice expansions with quasioperators. (Q2450842) (← links)
- The Blok-Ferreirim theorem for normal GBL-algebras and its application (Q2655230) (← links)
- Unary-determined distributive \(\ell \)-magmas and bunched implication algebras (Q2695343) (← links)
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
- ABSOLUTE RETRACTS AS REDUCED PRODUCTS (Q2761819) (← links)
- Rudin-Keisler Posets of Complete Boolean Algebras (Q2765567) (← links)
- Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings (Q2915144) (← links)
- Varieties of Lattices (Q2974299) (← links)
- (Q2998395) (← links)
- (Q3358781) (← links)
- The Structure of the One-Generated Free Domain Semiring (Q3498417) (← links)
- Domain and Antidomain Semigroups (Q3651509) (← links)
- (Q4011719) (← links)
- Absolute Retracts and Amalgamation in Certain Congruence Distributive Varieties (Q4204198) (← links)
- Partition Complete Boolean Algebras and Almost Compact Cardinals (Q4243914) (← links)
- (Q4273435) (← links)
- Nonrepresentable sequential algebras (Q4353720) (← links)
- P3-isomorphisms for graphs (Q4355070) (← links)
- (Q4362874) (← links)
- MINIMAL EXPANSIONS OF SEMILATTICES (Q4824700) (← links)
