| Publication | Date of Publication | Type |
|---|
| Finite Model Properties for Residuated Semigroups | 2022-11-21 | Paper |
The algebra of non-deterministic programs: demonic operations, orders and axioms
Logic Journal of the IGPL | 2022-11-09 | Paper |
Domain and range for angelic and demonic compositions
Journal of Logical and Algebraic Methods in Programming | 2019-03-27 | Paper |
Domain and range for angelic and demonic compositions
Journal of Logical and Algebraic Methods in Programming | 2019-03-27 | Paper |
| Ordered Monoids: Languages and Relations | 2017-04-05 | Paper |
The equational theories of representable residuated semigroups
Synthese | 2017-03-09 | Paper |
Complexity of equational theory of relational algebras with standard projection elements
Synthese | 2017-03-09 | Paper |
The finite representation property for composition, intersection, domain and range
International Journal of Algebra and Computation | 2016-10-25 | Paper |
Relational lattices: from databases to universal algebra
Journal of Logical and Algebraic Methods in Programming | 2016-06-22 | Paper |
The algebra of functions with antidomain and range
Journal of Pure and Applied Algebra | 2016-02-04 | Paper |
The algebra of functions with antidomain and range
Journal of Pure and Applied Algebra | 2016-02-04 | Paper |
Lower semilattice-ordered residuated semigroups and substructural logics
Studia Logica | 2015-06-26 | Paper |
Ordered domain algebras
Journal of Applied Logic | 2014-04-17 | Paper |
Relational Lattices
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
Decidability and complexity via mosaics of the temporal logic of the lexicographic products of unbounded dense linear orders
Frontiers of Combining Systems | 2013-09-20 | Paper |
Residuated Kleene algebras
Logic and Program Semantics | 2012-07-16 | Paper |
On canonicity and completions of weakly representable relation algebras
Journal of Symbolic Logic | 2012-04-19 | Paper |
The equational theory of Kleene lattices
Theoretical Computer Science | 2012-01-04 | Paper |
Axiomatizability of positive algebras of binary relations
Algebra Universalis | 2011-11-23 | Paper |
Positive fragments of relevance logic and algebras of binary relations
The Review of Symbolic Logic | 2011-06-10 | Paper |
On representable ordered residuated semigroups
Logic Journal of the IGPL | 2011-03-07 | Paper |
Axiomatizability of representable domain algebras
The Journal of Logic and Algebraic Programming | 2011-02-09 | Paper |
Algebras of Relations and Relevance Logic
Journal Of Logic And Computation | 2009-04-16 | Paper |
Representable semilattice-ordered monoids
Algebra Universalis | 2008-03-05 | Paper |
Axiomatizing complex algebras by games.
Algebra Universalis | 2005-04-19 | Paper |
Axiomatizability of reducts of algebras of relations
Algebra Universalis | 2003-04-23 | Paper |
An elementary construction for a non-elementary procedure
Studia Logica | 2003-03-12 | Paper |
Cylindric structures and dependencies in relational databases
Theoretical Computer Science | 2002-03-03 | Paper |
| Labelled deduction for the guarded fragment | 2002-02-17 | Paper |
Products, or how to create modal logics of high complexity
Logic Journal of the IGPL | 2001-10-30 | Paper |
| scientific article; zbMATH DE number 1612560 (Why is no real title available?) | 2001-07-01 | Paper |
Tableau calculus for local cubic modal logic and its implementation
Logic Journal of the IGPL | 2000-07-05 | Paper |
Undecidable relativizations of algebras of relations
Journal of Symbolic Logic | 2000-04-25 | Paper |
Decidability of cylindric set algebras of dimension two and first-order logic with two variables
Journal of Symbolic Logic | 2000-04-11 | Paper |
Notions of density that imply representability in algebraic logic
Annals of Pure and Applied Logic | 2000-02-15 | Paper |
Taming first-order logic
Logic Journal of the IGPL | 1998-04-02 | Paper |
| scientific article; zbMATH DE number 1047507 (Why is no real title available?) | 1997-09-11 | Paper |
| scientific article; zbMATH DE number 1047503 (Why is no real title available?) | 1997-08-11 | Paper |
| scientific article; zbMATH DE number 970634 (Why is no real title available?) | 1997-01-23 | Paper |
Taming logic
Journal of Logic, Language and Information | 1996-10-08 | Paper |
| scientific article; zbMATH DE number 868091 (Why is no real title available?) | 1996-06-23 | Paper |
| scientific article; zbMATH DE number 475195 (Why is no real title available?) | 1994-08-21 | Paper |
| scientific article; zbMATH DE number 465603 (Why is no real title available?) | 1994-06-05 | Paper |
Lambek calculus and its relational semantics: Completeness and incompleteness
Journal of Logic, Language and Information | 1994-03-03 | Paper |
| scientific article; zbMATH DE number 150219 (Why is no real title available?) | 1993-04-01 | Paper |
