Michiro Kondo

From MaRDI portal
Person:588943

Available identifiers

zbMath Open kondo.michiroMaRDI QIDQ588943

List of research outcomes

PublicationDate of PublicationType
On topologies defined by binary relations in rough sets2023-12-01Paper
Multiplicative derivations and \(d\)-filters of commutative residuated lattices2022-07-12Paper
Some properties of state filters in state residuated lattices2021-12-10Paper
On topologies defined by neighbourhood operators of approximation spaces2021-10-27Paper
SOME PROPERTIES ON DERIVATIONS OF LATTICES2021-09-02Paper
Note on topologies induced by coverings of approximation spaces2021-03-18Paper
\(n\)-normal residuated lattices2020-07-15Paper
https://portal.mardi4nfdi.de/entity/Q46137742019-01-25Paper
Characterizing intermediate tense logics in terms of Galois connections2019-01-08Paper
Generalized state operators on residuated lattices2018-04-11Paper
On residuated lattices with universal quantifiers2017-10-25Paper
Characterization of extended filters in residuated lattices2015-12-02Paper
https://portal.mardi4nfdi.de/entity/Q29414532015-08-28Paper
Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets.2015-07-16Paper
States on bounded commutative residuated lattices2014-11-25Paper
Hidden modalities in algebras with negation and implication2014-05-19Paper
On intra-regular ordered \Gamma-semihypergroups2014-03-12Paper
Intuitionistic modal logic with a galois connection has the finite model property12013-06-11Paper
https://portal.mardi4nfdi.de/entity/Q46483172012-11-09Paper
Intuitionistic logic with two Galois connections combined with Fischer Servi axioms2012-08-14Paper
https://portal.mardi4nfdi.de/entity/Q29986052011-05-18Paper
Modal operators on commutative residuated lattices2011-03-18Paper
Intuitionistic propositional logic with Galois connections2010-12-14Paper
Filters on Commutative Residuated Lattices2010-09-21Paper
Logics from Galois connections2010-03-19Paper
Algebraic Properties of Generalized Rough Sets2009-09-22Paper
https://portal.mardi4nfdi.de/entity/Q36343442009-06-25Paper
https://portal.mardi4nfdi.de/entity/Q36343912009-06-25Paper
On bounded lattices satisfying Elkan's law2008-08-20Paper
Filter theory of BL algebras2008-03-12Paper
https://portal.mardi4nfdi.de/entity/Q34296412007-04-02Paper
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing2006-11-01Paper
https://portal.mardi4nfdi.de/entity/Q54761212006-06-29Paper
On the structure of generalized rough sets2006-05-11Paper
https://portal.mardi4nfdi.de/entity/Q56965662005-10-18Paper
On the class of QS-algebras2005-05-25Paper
https://portal.mardi4nfdi.de/entity/Q46576262005-03-14Paper
https://portal.mardi4nfdi.de/entity/Q48247292004-11-01Paper
https://portal.mardi4nfdi.de/entity/Q48183262004-09-28Paper
https://portal.mardi4nfdi.de/entity/Q44728492004-07-01Paper
https://portal.mardi4nfdi.de/entity/Q44728502004-07-01Paper
https://portal.mardi4nfdi.de/entity/Q44625992004-05-18Paper
https://portal.mardi4nfdi.de/entity/Q44627182004-05-18Paper
https://portal.mardi4nfdi.de/entity/Q48063122004-03-22Paper
https://portal.mardi4nfdi.de/entity/Q48019012004-01-22Paper
https://portal.mardi4nfdi.de/entity/Q44364032003-12-04Paper
https://portal.mardi4nfdi.de/entity/Q48063112003-06-17Paper
https://portal.mardi4nfdi.de/entity/Q27310972003-03-06Paper
https://portal.mardi4nfdi.de/entity/Q45482812002-08-26Paper
Relationship between ideals of BCI-algebras and order ideals of its adjoint semigroup2002-08-13Paper
https://portal.mardi4nfdi.de/entity/Q27472872002-04-30Paper
https://portal.mardi4nfdi.de/entity/Q27215712002-01-30Paper
https://portal.mardi4nfdi.de/entity/Q27215722002-01-30Paper
https://portal.mardi4nfdi.de/entity/Q44950562001-01-29Paper
https://portal.mardi4nfdi.de/entity/Q49515022000-07-27Paper
https://portal.mardi4nfdi.de/entity/Q49514972000-05-08Paper
https://portal.mardi4nfdi.de/entity/Q42620622000-03-13Paper
https://portal.mardi4nfdi.de/entity/Q42620702000-03-13Paper
https://portal.mardi4nfdi.de/entity/Q47047432000-02-01Paper
https://portal.mardi4nfdi.de/entity/Q42560612000-01-25Paper
https://portal.mardi4nfdi.de/entity/Q42560832000-01-25Paper
https://portal.mardi4nfdi.de/entity/Q47020961999-12-19Paper
https://portal.mardi4nfdi.de/entity/Q47047451999-12-09Paper
https://portal.mardi4nfdi.de/entity/Q47047441999-11-25Paper
https://portal.mardi4nfdi.de/entity/Q47019781999-11-23Paper
https://portal.mardi4nfdi.de/entity/Q42369571999-07-15Paper
https://portal.mardi4nfdi.de/entity/Q42560581999-06-28Paper
https://portal.mardi4nfdi.de/entity/Q43766261998-06-01Paper
https://portal.mardi4nfdi.de/entity/Q43766651998-06-01Paper
https://portal.mardi4nfdi.de/entity/Q43766641998-05-27Paper
https://portal.mardi4nfdi.de/entity/Q43475551997-09-28Paper
Approximation logic and strong Bunge algebra1996-08-15Paper
https://portal.mardi4nfdi.de/entity/Q48768091996-07-24Paper
Classification of weak De Morgan algebras1996-03-31Paper
https://portal.mardi4nfdi.de/entity/Q48700821996-03-17Paper
https://portal.mardi4nfdi.de/entity/Q48494611995-12-18Paper
https://portal.mardi4nfdi.de/entity/Q48353701995-06-14Paper
https://portal.mardi4nfdi.de/entity/Q42711701994-01-06Paper
https://portal.mardi4nfdi.de/entity/Q40342931993-05-16Paper
https://portal.mardi4nfdi.de/entity/Q32045191991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33514101991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34784491990-01-01Paper
A1 is not a conservative extension of S4 but of S51989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38071801988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47311681988-01-01Paper
Solutions for Porte's conjectures1987-01-01Paper
A correction to The completeness theorems for some intuitionistic logics in terms of interval semantics1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47220411986-01-01Paper
The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33441751984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30373921983-01-01Paper
Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras0001-01-03Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Michiro Kondo