| Publication | Date of Publication | Type |
|---|
| On topologies defined by binary relations in rough sets | 2023-12-01 | Paper |
| Multiplicative derivations and \(d\)-filters of commutative residuated lattices | 2022-07-12 | Paper |
| Some properties of state filters in state residuated lattices | 2021-12-10 | Paper |
| On topologies defined by neighbourhood operators of approximation spaces | 2021-10-27 | Paper |
| SOME PROPERTIES ON DERIVATIONS OF LATTICES | 2021-09-02 | Paper |
| Note on topologies induced by coverings of approximation spaces | 2021-03-18 | Paper |
| \(n\)-normal residuated lattices | 2020-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4613774 | 2019-01-25 | Paper |
| Characterizing intermediate tense logics in terms of Galois connections | 2019-01-08 | Paper |
| Generalized state operators on residuated lattices | 2018-04-11 | Paper |
| On residuated lattices with universal quantifiers | 2017-10-25 | Paper |
| Characterization of extended filters in residuated lattices | 2015-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2941453 | 2015-08-28 | Paper |
| Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. | 2015-07-16 | Paper |
| States on bounded commutative residuated lattices | 2014-11-25 | Paper |
| Hidden modalities in algebras with negation and implication | 2014-05-19 | Paper |
| On intra-regular ordered \Gamma-semihypergroups | 2014-03-12 | Paper |
| Intuitionistic modal logic with a galois connection has the finite model property1 | 2013-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4648317 | 2012-11-09 | Paper |
| Intuitionistic logic with two Galois connections combined with Fischer Servi axioms | 2012-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2998605 | 2011-05-18 | Paper |
| Modal operators on commutative residuated lattices | 2011-03-18 | Paper |
| Intuitionistic propositional logic with Galois connections | 2010-12-14 | Paper |
| Filters on Commutative Residuated Lattices | 2010-09-21 | Paper |
| Logics from Galois connections | 2010-03-19 | Paper |
| Algebraic Properties of Generalized Rough Sets | 2009-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3634391 | 2009-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3634344 | 2009-06-25 | Paper |
| On bounded lattices satisfying Elkan's law | 2008-08-20 | Paper |
| Filter theory of BL algebras | 2008-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3429641 | 2007-04-02 | Paper |
| Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing | 2006-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5476121 | 2006-06-29 | Paper |
| On the structure of generalized rough sets | 2006-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5696566 | 2005-10-18 | Paper |
| On the class of QS-algebras | 2005-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4657626 | 2005-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4824729 | 2004-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818326 | 2004-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472850 | 2004-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472849 | 2004-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4462718 | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4462599 | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4806312 | 2004-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4801901 | 2004-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436403 | 2003-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4806311 | 2003-06-17 | Paper |
| Kleene algebra and modal logic | 2003-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4548281 | 2002-08-26 | Paper |
| Relationship between ideals of BCI-algebras and order ideals of its adjoint semigroup | 2002-08-13 | Paper |
| Congruences on hyper BCK-algebras | 2002-04-30 | Paper |
| Filter theory of bilattices in the semantics of logic programming | 2002-01-30 | Paper |
| Completeness theorem for the logic characterized by distributive bilattices | 2002-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4495056 | 2001-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4951502 | 2000-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4951497 | 2000-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4262062 | 2000-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4262070 | 2000-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4704743 | 2000-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4256061 | 2000-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4256083 | 2000-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702096 | 1999-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4704745 | 1999-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4704744 | 1999-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4701978 | 1999-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4236957 | 1999-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4256058 | 1999-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4376665 | 1998-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4376626 | 1998-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4376664 | 1998-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4347555 | 1997-09-28 | Paper |
| Approximation logic and strong Bunge algebra | 1996-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4876809 | 1996-07-24 | Paper |
| Classification of weak De Morgan algebras | 1996-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870082 | 1996-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4849461 | 1995-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4835370 | 1995-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4271170 | 1994-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4034293 | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204519 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3351410 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3478449 | 1990-01-01 | Paper |
| A1 is not a conservative extension of S4 but of S5 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3807180 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4731168 | 1988-01-01 | Paper |
| Solutions for Porte's conjectures | 1987-01-01 | Paper |
| A correction to The completeness theorems for some intuitionistic logics in terms of interval semantics | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4722041 | 1986-01-01 | Paper |
| The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3344175 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3037392 | 1983-01-01 | Paper |
| Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras | N/A | Paper |
