| PgRC: pseudogenome-based read compressor. | 0 | 0.34 | 2020 |
| Fraisse-Hintikka Theorem In Institutions | 0 | 0.34 | 2020 |
| Algebraic foundations for qualitative calculi and networks. | 0 | 0.34 | 2019 |
| Uniform interpolation and coherence | 1 | 0.36 | 2019 |
| Normal Extensions of KTB of Codimension 3. | 0 | 0.34 | 2018 |
| Coherence in Modal Logic. | 0 | 0.34 | 2018 |
| Optimisation of language-integrated queries by query unnesting. | 0 | 0.34 | 2017 |
| Analytic Cut and interpolation for bi-intuitionistic Logic. | 4 | 0.49 | 2017 |
| Faster batched range minimum queries. | 0 | 0.34 | 2017 |
| An Abelian Rule for BCI - and Variations. | 0 | 0.34 | 2016 |
| Complexity And Polymorphisms For Digraph Constraint Problems Under Some Basic Constructions | 2 | 0.37 | 2016 |
| Quasi-subtractive varieties: Open filters, congruences and the commutator. | 0 | 0.34 | 2014 |
| Quasi-discriminator varieties. | 1 | 0.40 | 2014 |
| The Power of a Propositional Constant. | 1 | 0.39 | 2014 |
| BCK is not Structurally Complete. | 1 | 0.36 | 2014 |
| Relevant logic and relation algebras. | 0 | 0.34 | 2013 |
| Digraph related constructions and the complexity of digraph homomorphism problems | 1 | 0.36 | 2013 |
| Boolean like algebras. | 7 | 1.02 | 2013 |
| Computable Isomorphisms of Boolean Algebras with Operators | 0 | 0.34 | 2012 |
| On normal-valued basic pseudo-hoops | 2 | 0.47 | 2012 |
| State morphism MV-algebras | 21 | 1.36 | 2011 |
| Quasi-subtractive varieties. | 0 | 0.34 | 2011 |
| Fuzzy logics from substructural perspective | 7 | 0.50 | 2010 |
| On some properties of quasi MV algebras and square root quasi MV algebras. Part III. | 0 | 0.34 | 2010 |
| Optimization of object-oriented queries through rewriting compound weakly dependent subqueries | 2 | 0.48 | 2010 |
| Optimization of object-oriented queries involving weakly dependent subqueries | 3 | 0.45 | 2009 |
| State-morphism MV-algebras | 9 | 0.84 | 2009 |
| Query Optimization by Indexing in the ODRA OODBMS | 0 | 0.34 | 2009 |
| Self-implications in BCI | 3 | 0.52 | 2008 |
| A FINITE FRAGMENT OF S3 | 1 | 0.41 | 2008 |
| Combining binary constraint networks in qualitative reasoning | 9 | 0.59 | 2008 |
| A Note on Monothetic BCI | 2 | 0.40 | 2006 |
| Almost minimal varieties related to fuzzy logic. | 1 | 0.36 | 2006 |
| Procedures of integration of fragmented data in a p2p data grid virtual repository, | 0 | 0.34 | 2006 |
| Semisimple Varieties of Modal Algebras | 7 | 0.90 | 2006 |
| Autonomous layer for data integration in a virtual repository | 0 | 0.34 | 2006 |
| Retraction note for "PDL has interpolation | 0 | 0.34 | 2004 |
| Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices | 9 | 0.99 | 2004 |
| Applying Transition Networks in Translating Polish E-Mails | 0 | 0.34 | 2003 |
| PDL Has Interpolation | 0 | 0.34 | 2002 |
| Remarks on Splittings in the Variety of Residuated Lattices | 0 | 0.34 | 2000 |
| The Variety of Residuated Lattices is Generated by its Finite Simple Members | 11 | 1.65 | 2000 |
| Pretabular Varieties of Equivalential Algebras | 0 | 0.34 | 1999 |
| Varieties of Tense Algebras | 14 | 1.54 | 1998 |
| The Bottom of the Lattice of BCK-varieties | 2 | 0.73 | 1995 |
| A Syntactic Proof of a Conjecture of Andrzej Wronski | 3 | 1.01 | 1994 |
