Matching μ-Logic