教員情報
教員検索TOPページ
著書・論文歴
学会発表
研究課題・受託研究・科研費
(最終更新日:2018-04-22 10:44:38)
コンドウ ミチロウ
KONDO Michiro
近藤 通朗
所属
東京電機大学 システムデザイン工学部(2017年度新設) 数学系列(システムデザイン工学部)
東京電機大学 情報環境学部 情報環境学科
東京電機大学大学院 情報環境学研究科 情報環境学専攻
東京電機大学大学院 先端科学技術研究科 数理学専攻
職種
教授
■
著書・論文歴
1.
論文
Derivations of commutative residuated lattices (単著) 2017/09
2.
論文
Multiplicative derivations of commutative residuated lattices (単著) 2017/06
3.
論文
Simple axiomatization of reticulations on residuated lattices (単著) 2017/02
4.
論文
Generalized state operators on residuated lattices (単著) 2016/08
5.
論文
Simple Characterizations of Perfect Residuated Lattices (単著) 2016/05
6.
論文
Some Properties of Generalized State Operators on Residuated Lattices (共著) 2016/05
7.
論文
An Algebraic Aspect of Correspondences Between Implicational Fragment Logics and Fuzzy Logics (共著) 2015/11
8.
論文
Construction of Associative Functions for Several Fuzzy Logics via the Ordinal Sum Theorem (共著) 2015/11
9.
論文
On residuated lattices with universal quantifiers (単著) 2015/08
10.
論文
Quotient Structures of Non-Commutative Residuated Lattices (単著) 2015/05
11.
論文
Residuated lattices with Galois connections as monadic operators (単著) 2015/01
12.
論文
A correspondence between implicational fragment logics and fuzzy logics (共著) 2014/11
13.
論文
Characterizing intermediate tense logics in terms of Galois connections (共著) 2014/09
14.
論文
Characterization of extended filters in residuated lattices (単著) 2014/03
15.
論文
Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets (共著) 2014/01
16.
論文
Hidden modalities in algebras with negation and implication (共著) 2013/07
17.
論文
Join Operations on Commutative BCK-Algebras with Condition (S) (共著) 2013/05
18.
論文
Intuitionistic modal logic with a galois connection has the finite model property (共著) 2013/04
19.
論文
Simple characterization of strict residuated lattices with an involutive negation (単著) 2012/07
20.
論文
States on bounded commutative residuated lattices (単著) 2012/07
21.
論文
Modal operators on non-commutative residuated lattices (共著) 2012/05
22.
論文
Prime filters on residuated lattices (共著) 2012/05
23.
論文
Armstrong systems and Galois connections (共著) 2011/11
24.
論文
Filter theory of hoops (単著) 2011/06
25.
論文
Weak uninorm based logic and its filter theory (共著) 2011/06
26.
論文
CHARACTERIZATION OF SOME TYPES OF FILTERS IN COMMUTATIVE RESIDUATED LATTICES (単著) 2011/04
27.
論文
Modal operators on commutative residuated lattices (単著) 2011/02
28.
論文
Intuitionistic propositional logic with Galois connections (共著) 2010/10
29.
論文
Filters on commutative residuated lattices (単著) 2010/04
30.
論文
Commutative residuated lattice with (x ʘ y)’= x’ v y’ (単著) 2009/02
31.
論文
Algebraic properties of generalized rough sets (単著) 2009
32.
論文
Local commutative residuated lattices (単著) 2009
33.
論文
On a logic determined by commutative residuated lattices (共著) 2009
34.
論文
Logics from Galois connections (共著) 2008/11
35.
論文
Filter theory of BL algebras (共著) 2008
36.
論文
Many-valued logic for modifiers of fuzzy sets (共著) 2008
37.
論文
Many-valued logic for rough sets and other modal-like operations (共著) 2008
38.
論文
On bounded lattices satisfying Elkan's law (共著) 2008
39.
論文
Linearlity conditions on commutative residuated lattices (単著) 2007/11
40.
論文
A logic determined by commutative residuated lattices (単著) 2007/09
41.
論文
New characterization of Boolean algebras by Elkan's formula (単著) 2007/06
42.
論文
Modal-Like Operators in Boolean Lattices, Galois Connections and Fixed Points (共著) 2007/01
43.
論文
Information logic of Galois connections (共著) 2007
44.
論文
On a logic determined by Boolean algebras with conjugate (単著) 2006/10
45.
論文
Topological structures of rough sets induced by equivalence relations (単著) 2006/08
46.
論文
On bounded lattice satisfying Elkan's formula (単著) 2006/06
47.
論文
On topologies defined by binary relations in rough sets (単著) 2006/02
48.
論文
On the structure of generalized rough sets (単著) 2006/01
49.
論文
EVALPSN Based Intelligent Drivers’Model (共著) 2006
50.
論文
Intelligent Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II (共著) 2006
51.
論文
Algebraic approach to generalized rough sets (単著) 2005/11
52.
論文
On the Transfer Principle in Fuzzy Theory (単著) 2005/05
53.
論文
Partially ordered set with residuated t-norm (単著) 2005/05
54.
論文
Fuzzy congruences on groups (単著) 2004/11
55.
論文
On the class of QS-algebras (単著) 2004/11
56.
論文
Fuzzifications of pseudo-BCI ideals (共著) 2004/09
57.
論文
Charabterization theorem of lattice implication algebras (単著) 2004/05
58.
論文
On BH-relations in BH-algebras (共著) 2004/05
59.
論文
On transfer principle of Fuzzy BCK/BCI-algebras (共著) 2004/05
60.
論文
On transfer principle of Fuzzy BCK/BCI-algebras(2004),35-40 (共著) 2004/01
61.
論文
On BH-relations in BH-algebras (共著) 2003/11
62.
論文
Pseudo-ideals of pseudo-BCK algebras (単著) 2003/09
63.
論文
A note on interval-valued subalgerbras/ideals in BCK-algebras (単著) 2003/08
64.
論文
Intuitionistic Fuzzy filters in BCH-algebras (共著) 2003/07
65.
論文
Fuzzy congruence on BCI-lgebras (共著) 2003/05
66.
論文
The class of B-algebras coincides with the class of groups (共著) 2003/05
67.
論文
Characterization of p&I-ideal in IS-algebras (単著) 2002/12
68.
論文
Intuitioninstic Fuzzy filters in BCH-algebras (共著) 2002/09
69.
論文
On the structure of weak interlaced bilattice (単著) 2002/05
70.
論文
Congruences on hyper BCK-algebras (単著) 2001/12
71.
論文
Completeness thieorem for the logic characterized by distributive bilattices (単著) 2001/11
72.
論文
Note on the structure of weak interlaced bilattice K(L) (単著) 2001/11
73.
論文
Relationship between ideals of BCI-algebras and order ideals of its adjoint semigroup (単著) 2001/11
74.
論文
Filter theory of bilattices in the semantics of logic programming (単著) 2001/07
75.
その他
Kleene algebra and modal logic (単著) 2001/12
5件表示
全件表示(75件)
■
学会発表
1.
2005/04/01
On topological properties of generalized rough sets(LAPTEC'05)
2.
2005/05/20
Partially ordered set with residuated t-norm(ISMVL2005)
3.
2005/09/01
Algebraic Approach to Generalized Rough Sets(RSFDGrC2005)
4.
2005/09/08
Algebraic Transfer Principle in fuzzy Theory(EUSFLAT-LFA2005)
5.
2006/02/14
On topologies defined by binary relations in rough sets(IASTED2006)
6.
2006/06/07
On bounded lattice satisfying Elkan's formula(Conference on Lattice Theory)
7.
2006/10/10
On a logic determined by Boolean algebras with conjugate(10th International Conference on Knowledge-Based, Intelligent Information and Engineering Systems (KES2006))
8.
2007/06/07
Orthocomplemented lattices with Elkan's law are Boolean algebras(74th Workshop on General Algebra (Arbeitstagung Allgemeine Algebra AAA74))
9.
2007/09/11
A logic determined by commutative residuated lattices(EUSFLAT)
10.
2007/11/02
Linearity conditions on commutative residuated lattices(75th Workshop on General Algebra (Arbeitstagung Allgemeine Algebra AAA75))
11.
2008/05/23
Fuzzy congruences on groups(76th Workshop on General Algebra (Arbeitstagung Allgemeine Algebra AAA76))
5件表示
全件表示(11件)
■
研究課題・受託研究・科研費
1.
2012/04~2015/03
Galois connectionをもつ部分構造論理の研究 基盤研究(C)
2.
2015/04~2018/03
非可換剰余束におけるstateの研究 基盤研究(C)