Yasuo Kawahara
Kyushu University(JP)
Publications by Year
Research Areas
Advanced Algebra and Logic, Logic, Reasoning, and Knowledge, Cellular Automata and Applications, Logic, programming, and type systems, Rough Sets and Fuzzy Logic
Most-Cited Works
- → An algebraic formalization of fuzzy relations(1999)28 cited
- → Pushout-complements and basic concepts of grammars in toposes(1990)23 cited
- Crispness and Representation Theorem in Dedekind Categories(1997)
- → A small final coalgebra theorem(2000)21 cited
- → On the Cardinality of Relations(2006)17 cited
- → On Reversible Cellular Automata with Finite Cell Array(2005)14 cited
- → RELATIONS IN CATEGORIES WITH PULLBACKS(1973)12 cited
- → Dedekind categories with cutoff operators(2010)