抽象算子逻辑及其自然演绎系统

• Abstract operator logic and its natural deduction system