| Publication | Date of Publication | Type |
|---|
\(S\)-preclones and the Galois connection \(^S\mathrm{Pol} - {^S\mathrm{Inv}}\). I.
Algebra Universalis | 2024-07-29 | Paper |
Algebraic proof theory for LE-logics
ACM Transactions on Computational Logic | 2024-04-26 | Paper |
An algebraic glimpse at bunched implications and separation logic
Outstanding Contributions to Logic | 2024-03-25 | Paper |
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
Logical Methods in Computer Science | 2024-03-11 | Paper |
Locally Integral Involutive PO-Semigroups
| 2023-10-19 | Paper |
Representable and diagonally representable weakening relation algebras
Relational and Algebraic Methods in Computer Science | 2023-08-17 | Paper |
The structure of locally integral involutive po-monoids and semirings
Relational and Algebraic Methods in Computer Science | 2023-08-17 | Paper |
$S$-preclones and the Galois connection ${}^S\mathrm{Pol}$-${}^S\mathrm{Inv}$, Part I
| 2023-06-01 | Paper |
Unary-determined distributive \(\ell \)-magmas and bunched implication algebras
| 2023-03-30 | Paper |
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}
| 2023-03-30 | Paper |
Injective and projective semimodules over involutive semirings
Journal of Algebra and its Applications | 2022-09-09 | Paper |
Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests
Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
Weakening Relation Algebras and FL$$^2$$-algebras
Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
A finite axiomatization of positive MV-algebras
Algebra Universalis | 2022-07-13 | Paper |
Primitive lattice varieties
International Journal of Algebra and Computation | 2022-06-08 | Paper |
On the Representation of Boolean Magmas and Boolean Semilattices
Hajnal Andréka and István Németi on Unity of Science | 2021-12-10 | Paper |
A finite axiomatization of positive MV-algebras
| 2021-12-06 | Paper |
The structure of finite commutative idempotent involutive residuated lattices
Algebra Universalis | 2021-10-28 | Paper |
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report)
| 2021-08-14 | Paper |
Lattice-ordered pregroups are semi-distributive
Algebra Universalis | 2021-03-03 | Paper |
The structure of finite commutative idempotent involutive residuated lattices
| 2020-07-28 | Paper |
The structure of generalized BI-algebras and weakening relation algebras
Algebra Universalis | 2020-07-13 | Paper |
Structure theorems for idempotent residuated lattices
Algebra Universalis | 2020-05-26 | Paper |
Logics for rough concept analysis
| 2020-01-14 | Paper |
Distributive laws in residuated binars
Algebra Universalis | 2019-11-22 | Paper |
Nonassociative right hoops
Algebra Universalis | 2019-10-28 | Paper |
Distributive laws in residuated binars
| 2019-01-06 | Paper |
Logics for Rough Concept Analysis
| 2018-11-17 | Paper |
On the structure of generalized effect algebras and separation algebras
| 2018-11-08 | Paper |
Nonassociative right hoops
| 2018-10-15 | Paper |
On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras
Soft Computing | 2018-02-23 | Paper |
Distributive residuated frames and generalized bunched implication algebras
Algebra Universalis | 2017-12-21 | Paper |
On Tarski's axiomatic foundations of the calculus of relations
Journal of Symbolic Logic | 2017-09-27 | Paper |
Relation algebras, idempotent semirings and generalized bunched implication algebras
Relational and Algebraic Methods in Computer Science | 2017-07-21 | Paper |
Varieties of lattices
Lattice Theory: Special Topics and Applications | 2017-04-07 | Paper |
Concurrent Kleene algebra with tests and branching automata
Journal of Logical and Algebraic Methods in Programming | 2016-06-22 | Paper |
Generating all finite modular lattices of a given size
Algebra Universalis | 2015-10-14 | Paper |
Topological duality and lattice expansions. II: Lattice expansions with quasioperators.
Algebra Universalis | 2014-05-23 | Paper |
Topological duality and lattice expansions. I: A topological construction of canonical extensions.
Algebra Universalis | 2014-05-08 | Paper |
On some properties of quasi-MV algebras and \(\sqrt{\prime}\) quasi-MV algebras. IV
| 2014-04-25 | Paper |
Concurrent Kleene algebra with tests
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
Residuated frames with applications to decidability
Transactions of the American Mathematical Society | 2013-04-16 | Paper |
Preface to the special issue: Recent developments related to residuated lattices and substructural logics
Studia Logica | 2013-02-18 | Paper |
Relation algebras as expanded FL-algebras
Algebra Universalis | 2013-02-05 | Paper |
Periodic lattice-ordered pregroups are distributive
Algebra Universalis | 2012-11-27 | Paper |
Categories of algebraic contexts equivalent to idempotent semirings and domain semirings
Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
A survey of generalized Basic Logic algebras
| 2011-05-18 | Paper |
Embedding theorems for classes of GBL-algebras
Journal of Pure and Applied Algebra | 2010-04-22 | Paper |
The Blok-Ferreirim theorem for normal GBL-algebras and its application
Algebra Universalis | 2010-01-22 | Paper |
Domain and antidomain semigroups
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
Generalizations of Boolean products for lattice-ordered algebras
Annals of Pure and Applied Logic | 2009-11-04 | Paper |
The Structure of the One-Generated Free Domain Semiring
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
Residuated lattices. An algebraic glimpse at substructural logics
Studies in Logic and the Foundations of Mathematics | 2007-05-30 | Paper |
On the structure of generalized BL-algebras
Algebra Universalis | 2007-01-29 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
scientific article; zbMATH DE number 2208113 (Why is no real title available?)
| 2005-09-26 | Paper |
The variety generated by order algebras.
Algebra Universalis | 2005-04-19 | Paper |
Algebraic aspects of cut elimination
Studia Logica | 2005-04-07 | Paper |
MINIMAL EXPANSIONS OF SEMILATTICES
International Journal of Algebra and Computation | 2004-11-01 | Paper |
From semirings to residuated Kleene lattices
Studia Logica | 2004-08-06 | Paper |
Rudin-Keisler posets of complete Boolean algebras
Mathematical Logic Quarterly (MLQ) | 2002-10-02 | Paper |
ABSOLUTE RETRACTS AS REDUCED PRODUCTS
Quaestiones Mathematicae | 2002-01-07 | Paper |
Partition Complete Boolean Algebras and Almost Compact Cardinals
Mathematical Logic Quarterly | 1999-11-23 | Paper |
P3-isomorphisms for graphs
| 1998-03-08 | Paper |
scientific article; zbMATH DE number 1086626 (Why is no real title available?)
| 1997-11-13 | Paper |
Nonrepresentable sequential algebras
Logic Journal of the IGPL | 1997-09-10 | Paper |
Total tense algebras and symmetric semiassociative relation algebras
Algebra Universalis | 1996-05-02 | Paper |
Adjoining units to residuated Boolean algebras
Algebra Universalis | 1996-02-20 | Paper |
Minimal relation algebras
Algebra Universalis | 1995-07-02 | Paper |
Small representations of the relation algebra \(\mathcal E_{n+1}(1,2,3)\)
Algebra Universalis | 1995-02-22 | Paper |
scientific article; zbMATH DE number 475198 (Why is no real title available?)
| 1994-01-13 | Paper |
Varieties of lattices
Lecture Notes in Mathematics | 1993-01-23 | Paper |
scientific article; zbMATH DE number 67031 (Why is no real title available?)
| 1992-09-27 | Paper |
scientific article; zbMATH DE number 4210207 (Why is no real title available?)
| 1990-01-01 | Paper |
Absolute Retracts and Amalgamation in Certain Congruence Distributive Varieties
Canadian Mathematical Bulletin | 1989-01-01 | Paper |
