Search Results - "Jipsen, Peter"

Residuated frames with applications to decidability by GALATOS, NIKOLAOS, JIPSEN, PETER

“…Residuated frames provide relational semantics for substructural logics and are a natural generalization of Kripke frames in intuitionistic and modal logic,…”
Get full text

Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras by Alpay, Natanael, Jipsen, Peter, Sugimoto, Melissa

“…A distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge,\vee,\cdot)$ is a distributive lattice with a binary operation $\cdot$ that preserves joins in…”
Get full text

On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras by Jipsen, Peter

“…Right-residuated binars and right-divisible residuated binars are defined as precursors of generalized hoops, followed by some results and open problems about…”
Get full text

Distributive residuated frames and generalized bunched implication algebras by Galatos, Nikolaos, Jipsen, Peter

“…We show that all extensions of the (non-associative) Gentzen system for distributive full Lambek calculus by simple structural rules have the cut elimination…”
Get full text

Nonassociative right hoops by Jipsen, Peter, Kinyon, Michael

“…The class of nonassociative right hoops, or narhoops for short, is defined as a subclass of naturally ordered right-residuated magmas, and is shown to be a…”
Get full text

Distributive laws in residuated binars by Fussner, Wesley, Jipsen, Peter

“…In residuated binars there are six non-obvious distributivity identities of · , / , \ over ∧ , ∨ . We show that in residuated binars with distributive lattice…”
Get full text

varvec{S}$$-preclones and the Galois connection $$\varvec{{}^{S}{}\textrm{Pol}}$$–$$\varvec{{}^{S}{}\textrm{Inv}}$$, Part I by Jipsen, Peter, Lehtonen, Erkko, Pöschel, Reinhard

“…We consider S - operations $$f :A^{n} \rightarrow A$$ f : A n → A in which each argument is assigned a signum $$s \in S$$ s ∈ S representing a “property” such…”
Get full text

The structure of generalized BI-algebras and weakening relation algebras by Galatos, Nikolaos, Jipsen, Peter

“…Generalized bunched implication algebras (GBI-algebras) are defined as residuated lattices with a Heyting implication, and are positioned between Boolean…”
Get full text

Generating all finite modular lattices of a given size by Jipsen, Peter, Lawless, Nathan

“…Modular lattices, introduced by R. Dedekind, are an important subvariety of lattices that includes all distributive lattices. Heitzig and Reinhold [ 8 ]…”
Get full text

Concurrent Kleene algebra with tests and branching automata by Jipsen, Peter, Moshier, M. Andrew

Get full text

S-preclones and the Galois connection SPol–SInv, Part I by Jipsen, Peter, Lehtonen, Erkko, Pöschel, Reinhard

“…We consider S - operations f : A n → A in which each argument is assigned a signum s ∈ S representing a “property” such as being order-preserving or…”
Get full text

The structure of finite commutative idempotent involutive residuated lattices by Jipsen, Peter, Tuyt, Olim, Valota, Diego

“…We characterize commutative idempotent involutive residuated lattices as disjoint unions of Boolean algebras arranged over a distributive lattice. We use this…”
Get full text

Structure theorems for idempotent residuated lattices by Gil-Férez, José, Jipsen, Peter, Metcalfe, George

“…In this paper we study structural properties of residuated lattices that are idempotent as monoids. We provide descriptions of the totally ordered members of…”
Get full text

Topological duality and lattice expansions, I: A topological construction of canonical extensions by Moshier, M. Andrew, Jipsen, Peter

“…The two main objectives of this paper are (a) to prove purely topological duality theorems for semilattices and bounded lattices, and (b) to show that the…”
Get full text

A finite axiomatization of positive MV-algebras by Abbadini, Marco, Jipsen, Peter, Kroupa, Tomáš, Vannucci, Sara

“…Positive MV-algebras are the subreducts of MV-algebras with respect to the signature { ⊕ , ⊙ , ∨ , ∧ , 0 , 1 } . We provide a finite quasi-equational…”
Get full text

Topological duality and lattice expansions, II: Lattice expansions with quasioperators by Moshier, M. Andrew, Jipsen, Peter

“…The main objective of this paper (the second of two parts) is to show that quasioperators can be dealt with smoothly in the topological duality established in…”
Get full text

Lattice-ordered pregroups are semi-distributive by Galatos, Nick, Jipsen, Peter, Kinyon, Michael, Přenosil, Adam

“…We prove that the lattice reduct of every lattice-ordered pregroup is semidistributive. This is a consequence of a certain weak form of the distributive law…”
Get full text

Relation algebras as expanded FL-algebras by Galatos, Nikolaos, Jipsen, Peter

“…This paper studies generalizations of relation algebras to residuated lattices with a unary De Morgan operation. Several new examples of such algebras are…”
Get full text

Periodic lattice-ordered pregroups are distributive by Galatos, Nikolaos, Jipsen, Peter

“…It is proved that any lattice-ordered pregroup that satisfies an identity of the form x ll ··· l = x rr ··· r (for the same number of l , r -operations on each…”
Get full text

ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS by ANDRÉKA, HAJNAL, GIVANT, STEVEN, JIPSEN, PETER, NÉMETI, ISTVÁN

“…It is shown that Tarski’s set of ten axioms for the calculus of relations is independent in the sense that no axiom can be derived from the remaining axioms…”
Get full text