Abstract operator logic and its natural deduction system
Xiaochun Cheng, Shaochun Zhong · Journal of Northeast Normal University · 2004
Using operator to model constraints,this paper researches such abstract operator logic,analyzes its syntax,semantics,axiomatic system,its natural deduction system and its normalized natural deduction system,provide the theoretical foundation for constrict analysis of hierarchy system.