| 2008 |
|---|
| 19 | EE | Jouni Järvinen,
Michiro Kondo,
Jari Kortelainen:
Logics from Galois connections.
Int. J. Approx. Reasoning 49(3): 595-606 (2008) |
| 18 | EE | Michiro Kondo,
Wieslaw A. Dudek:
On bounded lattices satisfying Elkan's law.
Soft Comput. 12(11): 1035-1037 (2008) |
| 17 | EE | Michiro Kondo,
Wieslaw A. Dudek:
Filter theory of BL algebras.
Soft Comput. 12(5): 419-423 (2008) |
| 2007 |
|---|
| 16 | EE | Michiro Kondo,
O. Watari,
Mayuka F. Kawaguchi,
Masaaki Miyakoshi:
A Logic Determined by Commutative Residuated Lattices.
EUSFLAT Conf. (2) 2007: 45-48 |
| 15 | EE | Jouni Järvinen,
Michiro Kondo,
Jari Kortelainen:
Modal-Like Operators in Boolean Lattices, Galois Connections and Fixed Points.
Fundam. Inform. 76(1-2): 129-145 (2007) |
| 2006 |
|---|
| 14 | | Michiro Kondo:
On Topologies Defined by Binary Relations in Rough Sets.
Artificial Intelligence and Applications 2006: 406-409 |
| 13 | EE | 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: 851-857 |
| 12 | EE | Kazumi Nakamatsu,
Michiro Kondo,
Jair Minoro Abe:
EVALPSN Based Intelligent Drivers' Model.
KES (2) 2006: 858-865 |
| 11 | EE | Michiro Kondo,
Kazumi Nakamatsu,
Jair Minoro Abe:
Logic Determined by Boolean Algebras with Conjugate.
KES (2) 2006: 871-878 |
| 10 | EE | Michiro Kondo:
On the structure of generalized rough sets.
Inf. Sci. 176(5): 589-600 (2006) |
| 9 | EE | Michiro Kondo,
Wieslaw A. Dudek:
Topological Structures of Rough Sets Induced by Equivalence Relations.
JACIII 10(5): 621-624 (2006) |
| 2005 |
|---|
| 8 | EE | Michiro Kondo:
Algebraic Transfer Principle in Fuzzy Theory.
EUSFLAT Conf. 2005: 406-411 |
| 7 | EE | Michiro Kondo,
Mayuka F. Kawaguchi:
Partially Ordered Set with Residuated t-norm.
ISMVL 2005: 26-29 |
| 6 | | Michiro Kondo:
On topological properties of generalized rough sets.
LAPTEC 2005: 229-233 |
| 5 | EE | Michiro Kondo:
Algebraic Approach to Generalized Rough Sets.
RSFDGrC (1) 2005: 132-140 |
| 2004 |
|---|
| 4 | EE | Michiro Kondo:
Characterization Theorem of Lattice Implication Algebra.
ISMVL 2004: 257-260 |
| 2002 |
|---|
| 3 | EE | Michiro Kondo:
On the Structures of Weak Interlaced Bilattice.
ISMVL 2002: 23- |
| 1995 |
|---|
| 2 | | Michiro Kondo:
Classification of Weak DeMorgan Algebras.
Notre Dame Journal of Formal Logic 36(3): 396-406 (1995) |
| 1 | | Michiro Kondo:
Approximation Logic and Strong Bunge Algebra.
Notre Dame Journal of Formal Logic 36(4): 595-605 (1995) |
