Michiro Kondo

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 13

Top Topics

Inference Rules

Binary Relations

Top Venues

Int. J. Approx. Reason.

J. Adv. Comput. Intell. Intell. Informatics

Publications

Francis Woumfo, Blaise Blériot Koguep Njionou, Etienne Romuald Alomo Temgoua, Michiro Kondo
Some results on state ideals in state residuated lattices. Soft Comput. 28 (1) (2024)
Jouni Järvinen, Michiro Kondo
Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras. Soft Comput. 28 (2) (2024)
Mayuka F. Kawaguchi, Michiro Kondo
On quotient algebras of normal eo-algebras by congruences. ISMVL (2023)
Jouni Järvinen, Michiro Kondo
Relational correspondences for L-fuzzy rough approximations defined on De~Morgan Heyting algebras. CoRR (2023)
Michiro Kondo
Properties of stabilizers in residuated lattices. Soft Comput. 26 (15) (2022)
Michiro Kondo
On topologies defined by neighbourhood operators of approximation spaces. Int. J. Approx. Reason. 137 (2021)
Michiro Kondo
Note on topologies induced by coverings of approximation spaces. Int. J. Approx. Reason. 129 (2021)
Michiro Kondo
Multiplicative derivations and d-filters of commutative residuated lattices. Soft Comput. 24 (10) (2020)
Saeed Rasouli, Michiro Kondo
n-Normal residuated lattices. Soft Comput. 24 (1) (2020)
Michiro Kondo
On Topologies Defined by Binary Relations in Rough Sets. IJCRS (2019)
Michiro Kondo
Generalized state operators on residuated lattices. Soft Comput. 21 (20) (2017)
Michiro Kondo
Simple Characterizations of Perfect Residuated Lattices. ISMVL (2016)
Michiro Kondo, Mayuka F. Kawaguchi
Some Properties of Generalized State Operators on Residuated Lattices. ISMVL (2016)
Mayuka F. Kawaguchi, Michiro Kondo
Construction of Associative Functions for Several Fuzzy Logics via the Ordinal Sum Theorem. IUKM (2015)
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) (2015)
Michiro Kondo
Quotient Structures of Non-Commutative Residuated Lattices. ISMVL (2015)
Mayuka F. Kawaguchi, Michiro Kondo
A correspondence between implicational fragment logics and fuzzy logics. GrC (2014)
Michiro Kondo
Characterization of extended filters in residuated lattices. Soft Comput. 18 (3) (2014)
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. Int. J. Approx. Reason. 55 (1) (2014)
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
Characterizing intermediate tense logics in terms of Galois connections. Log. J. IGPL 22 (6) (2014)
Mayuka F. Kawaguchi, Kouta Minami, Michiro Kondo
Join Operations on Commutative BCK-Algebras with Condition (S). ISMVL (2013)
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
. Log. J. IGPL 21 (2) (2013)
Michiro Kondo
Simple characterization of strict residuated lattices with an involutive negation. Soft Comput. 17 (1) (2013)
Michiro Kondo, Esko Turunen
Prime Filters on Residuated Lattices. ISMVL (2012)
Michiro Kondo, Mayuka F. Kawaguchi
Modal Operators on Non-commutative Residuated Lattices. ISMVL (2012)
Michiro Kondo
Some Types of Filters in Hoops. ISMVL (2011)
Michiro Kondo, Mayuka F. Kawaguchi, Masaaki Miyakoshi, Osamu Watari
Weak Uninorm Based Logic and Its Filter Theory. ISMVL (2011)
Michiro Kondo, Sho Soneda, Bunpei Yoshii
Armstrong systems and Galois connections. GrC (2011)
Michiro Kondo
Filters on Commutative Residuated Lattices. IUM (2010)
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
Intuitionistic propositional logic with Galois connections. Log. J. IGPL 18 (6) (2010)
Michiro Kondo
Algebraic Properties of Generalized Rough Sets. Fundam. Informaticae 94 (1) (2009)
Jouni Järvinen, Michiro Kondo, Jari Kortelainen
Logics from Galois connections. Int. J. Approx. Reason. 49 (3) (2008)
Michiro Kondo, Wieslaw A. Dudek
On bounded lattices satisfying Elkan's law. Soft Comput. 12 (11) (2008)
Michiro Kondo, Wieslaw A. Dudek
Filter theory of BL algebras. Soft Comput. 12 (5) (2008)
Jouni Järvinen, Michiro Kondo, Jari Kortelainen
Modal-Like Operators in Boolean Lattices, Galois Connections and Fixed Points. Fundam. Informaticae 76 (1-2) (2007)
Michiro Kondo, Osamu Watari, Mayuka F. Kawaguchi, Masaaki Miyakoshi
A Logic Determined by Commutative Residuated Lattices. EUSFLAT Conf. (2) (2007)
Kazumi Nakamatsu, Michiro Kondo, Jair Minoro Abe
EVALPSN Based Intelligent Drivers' Model. KES (2) (2006)
Jair Minoro Abe, Cláudio Rodrigo Torres, Germano Lambert-Torres, Kazumi Nakamatsu, Michiro Kondo
Intelligent Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II. KES (2) (2006)
Michiro Kondo, Wieslaw A. Dudek
Topological Structures of Rough Sets Induced by Equivalence Relations. J. Adv. Comput. Intell. Intell. Informatics 10 (5) (2006)
Michiro Kondo
On the structure of generalized rough sets. Inf. Sci. 176 (5) (2006)
Michiro Kondo, Kazumi Nakamatsu, Jair Minoro Abe
Logic Determined by Boolean Algebras with Conjugate. KES (2) (2006)
Michiro Kondo
On Topologies Defined by Binary Relations in Rough Sets. Artificial Intelligence and Applications (2006)
Michiro Kondo
Algebraic Transfer Principle in Fuzzy Theory. EUSFLAT Conf. (2005)
Michiro Kondo
Algebraic Approach to Generalized Rough Sets. RSFDGrC (1) (2005)
Michiro Kondo, Mayuka F. Kawaguchi
Partially Ordered Set with Residuated t-norm. ISMVL (2005)
Michiro Kondo
On topological properties of generalized rough sets. LAPTEC (2005)
Michiro Kondo
Characterization Theorem of Lattice Implication Algebra. ISMVL (2004)
Michiro Kondo
On the class of QS-algebras. Int. J. Math. Math. Sci. 2004 (49) (2004)
Michiro Kondo
On the Structures of Weak Interlaced Bilattice. ISMVL (2002)
Michiro Kondo
Approximation Logic and Strong Bunge Algebra. Notre Dame J. Formal Log. 36 (4) (1995)
Michiro Kondo
Classification of Weak DeMorgan Algebras. Notre Dame J. Formal Log. 36 (3) (1995)
Michiro Kondo
A1 is not a conservative extension of S4 but of S5. J. Philos. Log. 18 (3) (1989)