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/Q3634344 | 2009-06-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q3634391 | 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/Q4472849 | 2004-07-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4472850 | 2004-07-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4462599 | 2004-05-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4462718 | 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 |
https://portal.mardi4nfdi.de/entity/Q2731097 | 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 |
https://portal.mardi4nfdi.de/entity/Q2747287 | 2002-04-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q2721571 | 2002-01-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q2721572 | 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/Q4376626 | 1998-06-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4376665 | 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 | 0001-01-03 | Paper |