Category:Japanese logicians