| Publication | Date of Publication | Type |
|---|
On topologies defined by binary relations in rough sets
Rough Sets | 2023-12-01 | Paper |
Multiplicative derivations and \(d\)-filters of commutative residuated lattices
Soft Computing | 2022-07-12 | Paper |
Some properties of state filters in state residuated lattices.
Mathematica Bohemica | 2021-12-10 | Paper |
On topologies defined by neighbourhood operators of approximation spaces
International Journal of Approximate Reasoning | 2021-10-27 | Paper |
| Some properties on derivations of lattices | 2021-09-02 | Paper |
Note on topologies induced by coverings of approximation spaces
International Journal of Approximate Reasoning | 2021-03-18 | Paper |
\(n\)-normal residuated lattices
Soft Computing | 2020-07-15 | Paper |
| Simple axiomatization of reticulations on residuated lattices | 2019-01-25 | Paper |
Characterizing intermediate tense logics in terms of Galois connections
Logic Journal of the IGPL | 2019-01-08 | Paper |
Generalized state operators on residuated lattices
Soft Computing | 2018-04-11 | Paper |
On residuated lattices with universal quantifiers
Bulletin of the Iranian Mathematical Society | 2017-10-25 | Paper |
Characterization of extended filters in residuated lattices
Soft Computing | 2015-12-02 | Paper |
| scientific article; zbMATH DE number 6476786 (Why is no real title available?) | 2015-08-28 | Paper |
| scientific article; zbMATH DE number 6476786 (Why is no real title available?) | 2015-08-28 | Paper |
Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets.
International Journal of Approximate Reasoning | 2015-07-16 | Paper |
States on bounded commutative residuated lattices.
Mathematica Slovaca | 2014-11-25 | Paper |
Hidden modalities in algebras with negation and implication
Mathematics for Application | 2014-05-19 | Paper |
On intra-regular ordered \(\Gamma\)-semihypergroups.
International Journal of Mathematical Analysis | 2014-03-12 | Paper |
Intuitionistic modal logic with a Galois connection has the finite model property
Logic Journal of the IGPL | 2013-06-11 | Paper |
| Characterization of some types of filters in commutative residuated lattices | 2012-11-09 | Paper |
| Intuitionistic logic with two Galois connections combined with Fischer Servi axioms | 2012-08-14 | Paper |
| Commutative residuated lattices with \((x\odot y)'=x'\vee y'\) | 2011-05-18 | Paper |
Modal operators on commutative residuated lattices
Mathematica Slovaca | 2011-03-18 | Paper |
Intuitionistic propositional logic with Galois connections
Logic Journal of the IGPL | 2010-12-14 | Paper |
Filters on Commutative Residuated Lattices
Advances in Intelligent and Soft Computing | 2010-09-21 | Paper |
Logics from Galois connections
International Journal of Approximate Reasoning | 2010-03-19 | Paper |
Algebraic Properties of Generalized Rough Sets
Fundamenta Informaticae | 2009-09-22 | Paper |
| scientific article; zbMATH DE number 5569963 (Why is no real title available?) | 2009-06-25 | Paper |
| Local commutative residuated lattices | 2009-06-25 | Paper |
On bounded lattices satisfying Elkan's law
Soft Computing | 2008-08-20 | Paper |
Filter theory of BL algebras
Soft Computing | 2008-03-12 | Paper |
| Modal-like operators in Boolean lattices, Galois connections and fixed points | 2007-04-02 | Paper |
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| Characterization theorem of lattice implication algebras | 2006-06-29 | Paper |
On the structure of generalized rough sets
Information Sciences | 2006-05-11 | Paper |
| scientific article; zbMATH DE number 2215786 (Why is no real title available?) | 2005-10-18 | Paper |
On the class of QS-algebras
International Journal of Mathematics and Mathematical Sciences | 2005-05-25 | Paper |
| scientific article; zbMATH DE number 2145275 (Why is no real title available?) | 2005-03-14 | Paper |
| scientific article; zbMATH DE number 2113263 (Why is no real title available?) | 2004-11-01 | Paper |
| scientific article; zbMATH DE number 2103943 (Why is no real title available?) | 2004-09-28 | Paper |
| scientific article; zbMATH DE number 2077891 (Why is no real title available?) | 2004-07-01 | Paper |
| scientific article; zbMATH DE number 2077890 (Why is no real title available?) | 2004-07-01 | Paper |
| scientific article; zbMATH DE number 2066264 (Why is no real title available?) | 2004-05-18 | Paper |
| scientific article; zbMATH DE number 2066159 (Why is no real title available?) | 2004-05-18 | Paper |
| scientific article; zbMATH DE number 1910413 (Why is no real title available?) | 2004-03-22 | Paper |
| scientific article; zbMATH DE number 1894824 (Why is no real title available?) | 2004-01-22 | Paper |
| scientific article; zbMATH DE number 2013233 (Why is no real title available?) | 2003-12-04 | Paper |
| scientific article; zbMATH DE number 1910412 (Why is no real title available?) | 2003-06-17 | Paper |
Kleene algebra and modal logic
Memoirs of the Faculty of Science and Engineering. Shimane University. Series B. Mathematical Science | 2003-03-06 | Paper |
| scientific article; zbMATH DE number 1788645 (Why is no real title available?) | 2002-08-26 | Paper |
Relationship between ideals of BCI-algebras and order ideals of its adjoint semigroup
International Journal of Mathematics and Mathematical Sciences | 2002-08-13 | Paper |
Relationship between ideals of BCI-algebras and order ideals of its adjoint semigroup
International Journal of Mathematics and Mathematical Sciences | 2002-08-13 | Paper |
Congruences on hyper BCK-algebras
Scientiae Mathematicae Japonicae | 2002-04-30 | Paper |
Filter theory of bilattices in the semantics of logic programming
Far East Journal of Mathematical Sciences | 2002-01-30 | Paper |
Completeness theorem for the logic characterized by distributive bilattices
Far East Journal of Mathematical Sciences | 2002-01-30 | Paper |
| scientific article; zbMATH DE number 1486931 (Why is no real title available?) | 2001-01-29 | Paper |
| scientific article; zbMATH DE number 1441851 (Why is no real title available?) | 2000-07-27 | Paper |
| scientific article; zbMATH DE number 1441841 (Why is no real title available?) | 2000-05-08 | Paper |
| scientific article; zbMATH DE number 1334319 (Why is no real title available?) | 2000-03-13 | Paper |
| scientific article; zbMATH DE number 1334327 (Why is no real title available?) | 2000-03-13 | Paper |
| scientific article; zbMATH DE number 1369671 (Why is no real title available?) | 2000-02-01 | Paper |
| scientific article; zbMATH DE number 1309039 (Why is no real title available?) | 2000-01-25 | Paper |
| scientific article; zbMATH DE number 1309102 (Why is no real title available?) | 2000-01-25 | Paper |
| scientific article; zbMATH DE number 1367734 (Why is no real title available?) | 1999-12-19 | Paper |
| scientific article; zbMATH DE number 1369673 (Why is no real title available?) | 1999-12-09 | Paper |
| scientific article; zbMATH DE number 1369672 (Why is no real title available?) | 1999-11-25 | Paper |
| scientific article; zbMATH DE number 1367576 (Why is no real title available?) | 1999-11-23 | Paper |
| scientific article; zbMATH DE number 1270366 (Why is no real title available?) | 1999-07-15 | Paper |
| scientific article; zbMATH DE number 1309036 (Why is no real title available?) | 1999-06-28 | Paper |
| scientific article; zbMATH DE number 1117715 (Why is no real title available?) | 1998-06-01 | Paper |
| scientific article; zbMATH DE number 1117677 (Why is no real title available?) | 1998-06-01 | Paper |
| scientific article; zbMATH DE number 1117714 (Why is no real title available?) | 1998-05-27 | Paper |
| scientific article; zbMATH DE number 1045937 (Why is no real title available?) | 1997-09-28 | Paper |
Approximation logic and strong Bunge algebra
Notre Dame Journal of Formal Logic | 1996-08-15 | Paper |
| scientific article; zbMATH DE number 874285 (Why is no real title available?) | 1996-07-24 | Paper |
Classification of weak De Morgan algebras
Notre Dame Journal of Formal Logic | 1996-03-31 | Paper |
| scientific article; zbMATH DE number 856945 (Why is no real title available?) | 1996-03-17 | Paper |
| scientific article; zbMATH DE number 800831 (Why is no real title available?) | 1995-12-18 | Paper |
| scientific article; zbMATH DE number 763889 (Why is no real title available?) | 1995-06-14 | Paper |
| scientific article; zbMATH DE number 459287 (Why is no real title available?) | 1994-01-06 | Paper |
| scientific article; zbMATH DE number 167214 (Why is no real title available?) | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 4181411 (Why is no real title available?) | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4202333 (Why is no real title available?) | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4148165 (Why is no real title available?) | 1990-01-01 | Paper |
A1 is not a conservative extension of S4 but of S5
Journal of Philosophical Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4075023 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4116497 (Why is no real title available?) | 1988-01-01 | Paper |
Solutions for Porte's conjectures
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1987-01-01 | Paper |
A correction to The completeness theorems for some intuitionistic logics in terms of interval semantics
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3993544 (Why is no real title available?) | 1986-01-01 | Paper |
The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3877149 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3829868 (Why is no real title available?) | 1983-01-01 | Paper |
Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras
(available as arXiv preprint) | N/A | Paper |
