default search action
Michiro Kondo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j26]Francis Woumfo
, Blaise Blériot Koguep Njionou
Some results on state ideals in state residuated lattices. Soft Comput. 28(1): 163-176 (2024) - [j25]Jouni Järvinen
Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras. Soft Comput. 28(2): 903-916 (2024) - [c26]Michiro Kondo:
L-fuzzy relations on residuated lattices. ISMVL 2024: 115-119 - 2023
- [c25]Mayuka F. Kawaguchi, Michiro Kondo:
On quotient algebras of normal eo-algebras by congruences. ISMVL 2023: 117-121 - [i1]Jouni Järvinen, Michiro Kondo:
Relational correspondences for L-fuzzy rough approximations defined on De~Morgan Heyting algebras. CoRR abs/2307.16055 (2023) - 2022
- [j24]Michiro Kondo
Properties of stabilizers in residuated lattices. Soft Comput. 26(15): 6981-6988 (2022) - 2021
- [j23]Michiro Kondo
Note on topologies induced by coverings of approximation spaces. Int. J. Approx. Reason. 129: 41-48 (2021) - [j22]Michiro Kondo
On topologies defined by neighbourhood operators of approximation spaces. Int. J. Approx. Reason. 137: 137-145 (2021) - 2020
- [j21]Saeed Rasouli
n-Normal residuated lattices. Soft Comput. 24(1): 247-258 (2020) - [j20]Michiro Kondo
Multiplicative derivations and d-filters of commutative residuated lattices. Soft Comput. 24(10): 7029-7033 (2020)
2010 – 2019
- 2019
- [c24]Michiro Kondo
On Topologies Defined by Binary Relations in Rough Sets. IJCRS 2019: 66-77 - 2017
- [j19]Michiro Kondo
Generalized state operators on residuated lattices. Soft Comput. 21(20): 6063-6071 (2017) - 2016
- [c23]Michiro Kondo, Mayuka F. Kawaguchi:
Some Properties of Generalized State Operators on Residuated Lattices. ISMVL 2016: 162-166 - [c22]Michiro Kondo:
Simple Characterizations of Perfect Residuated Lattices. ISMVL 2016: 167-171 - 2015
- [j18]Mayuka F. Kawaguchi, Michiro Kondo:
An Algebraic Aspect of Correspondences Between Implicational Fragment Logics and Fuzzy Logics. J. Adv. Comput. Intell. Intell. Informatics 19(6): 861-866 (2015) - [c21]Michiro Kondo:
Quotient Structures of Non-Commutative Residuated Lattices. ISMVL 2015: 20-23 - [c20]Mayuka F. Kawaguchi, Michiro Kondo:
Construction of Associative Functions for Several Fuzzy Logics via the Ordinal Sum Theorem. IUKM 2015: 43-53 - 2014
- [j17]Wojciech Dzik, Jouni Järvinen
Characterizing intermediate tense logics in terms of Galois connections. Log. J. IGPL 22(6): 992-1018 (2014) - [j16]Wojciech Dzik, Jouni Järvinen
Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. Int. J. Approx. Reason. 55(1): 427-435 (2014) - [j15]Michiro Kondo:
Characterization of extended filters in residuated lattices. Soft Comput. 18(3): 427-432 (2014) - [c19]Mayuka F. Kawaguchi, Michiro Kondo:
A correspondence between implicational fragment logics and fuzzy logics. GrC 2014: 127-130 - 2013
- [j14]Wojciech Dzik, Jouni Järvinen
Intuitionistic modal logic with a galois connection has the finite model property1. Log. J. IGPL 21(2): 199-204 (2013) - [j13]Michiro Kondo:
Simple characterization of strict residuated lattices with an involutive negation. Soft Comput. 17(1): 39-44 (2013) - [c18]Mayuka F. Kawaguchi, Kouta Minami, Michiro Kondo:
Join Operations on Commutative BCK-Algebras with Condition (S). ISMVL 2013: 209-211 - 2012
- [c17]Michiro Kondo, Mayuka F. Kawaguchi:
Modal Operators on Non-commutative Residuated Lattices. ISMVL 2012: 85-88 - [c16]Michiro Kondo, Esko Turunen
Prime Filters on Residuated Lattices. ISMVL 2012: 89-91 - 2011
- [c15]Michiro Kondo, Sho Soneda, Bunpei Yoshii:
Armstrong systems and Galois connections. GrC 2011: 342-344 - [c14]Michiro Kondo:
Some Types of Filters in Hoops. ISMVL 2011: 50-53 - [c13]Michiro Kondo, Mayuka F. Kawaguchi, Masaaki Miyakoshi, Osamu Watari:
Weak Uninorm Based Logic and Its Filter Theory. ISMVL 2011: 69-72 - 2010
- [j12]Wojciech Dzik, Jouni Järvinen
Intuitionistic propositional logic with Galois connections. Log. J. IGPL 18(6): 837-858 (2010) - [c12]Michiro Kondo:
Filters on Commutative Residuated Lattices. IUM 2010: 343-347
2000 – 2009
- 2009
- [j11]Michiro Kondo:
Algebraic Properties of Generalized Rough Sets. Fundam. Informaticae 94(1): 41-48 (2009) - 2008
- [j10]Jouni Järvinen
Logics from Galois connections. Int. J. Approx. Reason. 49(3): 595-606 (2008) - [j9]Michiro Kondo, Wieslaw A. Dudek
Filter theory of BL algebras. Soft Comput. 12(5): 419-423 (2008) - [j8]Michiro Kondo, Wieslaw A. Dudek
On bounded lattices satisfying Elkan's law. Soft Comput. 12(11): 1035-1037 (2008) - 2007
- [j7]Jouni Järvinen, Michiro Kondo, Jari Kortelainen:
Modal-Like Operators in Boolean Lattices, Galois Connections and Fixed Points. Fundam. Informaticae 76(1-2): 129-145 (2007) - [c11]Michiro Kondo, Osamu Watari, Mayuka F. Kawaguchi, Masaaki Miyakoshi:
A Logic Determined by Commutative Residuated Lattices. EUSFLAT Conf. (2) 2007: 45-48 - 2006
- [j6]Michiro Kondo:
On the structure of generalized rough sets. Inf. Sci. 176(5): 589-600 (2006) - [j5]Michiro Kondo, Wieslaw A. Dudek:
Topological Structures of Rough Sets Induced by Equivalence Relations. J. Adv. Comput. Intell. Intell. Informatics 10(5): 621-624 (2006) - [c10]Michiro Kondo:
On Topologies Defined by Binary Relations in Rough Sets. Artificial Intelligence and Applications 2006: 406-409 - [c9]Jair Minoro Abe
Intelligent Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II. KES (2) 2006: 851-857 - [c8]Kazumi Nakamatsu, Michiro Kondo, Jair Minoro Abe
EVALPSN Based Intelligent Drivers' Model. KES (2) 2006: 858-865 - [c7]Michiro Kondo, Kazumi Nakamatsu, Jair Minoro Abe
Logic Determined by Boolean Algebras with Conjugate. KES (2) 2006: 871-878 - 2005
- [c6]Michiro Kondo:
Algebraic Transfer Principle in Fuzzy Theory. EUSFLAT Conf. 2005: 406-411 - [c5]Michiro Kondo, Mayuka F. Kawaguchi:
Partially Ordered Set with Residuated t-norm. ISMVL 2005: 26-29 - [c4]Michiro Kondo:
On topological properties of generalized rough sets. LAPTEC 2005: 229-233 - [c3]Michiro Kondo:
Algebraic Approach to Generalized Rough Sets. RSFDGrC (1) 2005: 132-140 - 2004
- [j4]Michiro Kondo:
On the class of QS-algebras. Int. J. Math. Math. Sci. 2004(49): 2629-2639 (2004) - [c2]Michiro Kondo:
Characterization Theorem of Lattice Implication Algebra. ISMVL 2004: 257-260 - 2002
- [c1]Michiro Kondo:
On the Structures of Weak Interlaced Bilattice. ISMVL 2002: 23-27
1990 – 1999
- 1995
- [j3]Michiro Kondo:
Classification of Weak DeMorgan Algebras. Notre Dame J. Formal Log. 36(3): 396-406 (1995) - [j2]Michiro Kondo:
Approximation Logic and Strong Bunge Algebra. Notre Dame J. Formal Log. 36(4): 595-605 (1995)
1980 – 1989
- 1989
- [j1]Michiro Kondo:
A1 is not a conservative extension of S4 but of S5. J. Philos. Log. 18(3): 321-323 (1989)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-07 02:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: