- Varieties of Lattices Peter Jipsen and Henry Rose
- A GENTZEN SYSTEM AND DECIDABILITY FOR RESIDUATED LATTICES
- CANCELLATIVE RESIDUATED LATTICES P. BAHLS, J. COLE, N. GALATOS, P. JIPSEN, C. TSINAKIS
- Coalgebraic Speci cation
- Combinators for Concurrent Computing Raja Natarajan
- AN EFFICIENT TRANSFER OF STRONG DUALITIES BRIAN A. DAVEY AND MIROSLAV HAVIAR \Lambda
- Database of Finite Residuated Lattices http://vychodil.inf.upol.cz/order/
- Logic and Universal Algebra: some basic connections
- COMPLEX ALGEBRAS OF RECTANGULAR BANDS PETER JIPSEN
- Discriminator varieties of Boolean algebras with residuated operators \Lambda
- The Zorn condition: a characterization of algebraic closure systems.
- COMPUTER AIDED INVESTIGATIONS OF RELATION ALGEBRAS Peter Jipsen
- Analytic Verification at NASA A View from the Trenches
- Game theory and modal logic Alexandru Baltag
- Accounting for Assertional Information Carlos Areces
- Modal Logic for Coalgebras Martin Roiger
- CANCELLATIVE RESIDUATED LATTICES P. BAHLS, J. COLE, N. GALATOS, P. JIPSEN, C. TSINAKIS
- HIFI Computing and Fixpoints Cyrus F. Nourani
- SOME QUASIVARIETIES OF COMPLEX ALGEBRAS THAT ARE PETER JIPSEN
- Second Order Varieties of Semirings Hyperidentities in our sense were introduced by W. Taylor [Tay; 81] with
- Categorical Equivalence of Varieties and Invariant Relations
- A Survey of Residuated Lattices P. Jipsen and C. Tsinakis
- MINIMAL EXPANSIONS OF SEMILATTICES P. JIPSEN AND A. KISIELEWICZ
- TOPOLOGICAL DUALITY AND LATTICE EXPANSIONS PART I: A TOPOLOGICAL CONSTRUCTION OF CANONICAL EXTENSIONS
- TOPOLOGICAL DUALITY AND LATTICE EXPANSIONS PART II: LATTICE EXPANSIONS WITH QUASIOPERATORS
- An Overview of Residuated Kleene Algebras and Lattices Peter Jipsen
- HIFI Computing and Fixpoints Cyrus F. Nourani
- Residuated Lattices of Size 12 extended version
- TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY
- EMBEDDING THEOREMS FOR CLASSES OF GBL-ALGEBRAS P. JIPSEN AND F. MONTAGNA
- A Survey of Residuated Lattices P. Jipsen and C. Tsinakis
- A power algebra of games of choice Ingrid Rewitzky
- COMPUTER AIDED INVESTIGATIONS OF RELATION ALGEBRAS Peter Jipsen
- PossibleTranslations Semantics: a special way of combining logics
- On operators in universal algebra and related Boza Tasi'c
- CANCELLATIVE RESIDUATED LATTICES P. BAHLS, J. COLE, N. GALATOS, P. JIPSEN, C. TSINAKIS
- Accounting for Assertional Information Carlos Areces
- A natural interpretation of fuzzy mappings Mamoru Shimoda
- Constructing distributive lattices with a given link lattice.
- Locally finite discriminator varieties with group stalks
- RUDIN-KEISLER POSETS OF COMPLETE BOOLEAN PETER JIPSEN, ALEXANDER PINUS, HENRY ROSE
