Michiro Kondo

Identifiers

• name variant Michiro Kondo 0.60 · backfill

Papers (5)

1. $n$-normal residuated lattices math.RA · 2018 · author #2
2. Characterizing intermediate tense logics in terms of Galois connections math.LO · 2014 · author #3
3. Representing distributive lattices with Galois connections in terms of rough sets math.RA · 2013 · author #3
4. Intuitionistic logic with two Galois connections combined with Fischer Servi axioms math.LO · 2012 · author #3
5. Intuitionistic logic with a Galois connection has the finite model property math.LO · 2011 · author #3

Mentions

• 1401.7646 #3 · backfill · confidence 0.70 Michiro Kondo
• 1312.6263 #3 · backfill · confidence 0.70 Michiro Kondo
• 1208.2971 #3 · backfill · confidence 0.70 Michiro Kondo
• 1102.0268 #3 · backfill · confidence 0.70 Michiro Kondo

Frequent Coauthors

• Jouni J\"arvinen 4 shared papers
• Wojciech Dzik 4 shared papers
• Saeed Rasouli 1 shared papers