Abstract operator logic and its natural deduction system.
- Resource Type
- Journal
- Authors
- Cheng, Xiao Chun (PRC-NNU-ISW) AMS Author Profile; Zhong, Shao Chun (PRC-NNU-ISW) AMS Author Profile; Ouyang, Dan Tong (PRC-JIL-LSC) AMS Author Profile; Li, Chun Sheng (5-UTSYT) AMS Author Profile; Chen, Qing Feng (5-UTSYT) AMS Author Profile; Zhang, Cheng Qi (5-UTSYT) AMS Author Profile
- Source
- Dongbei Shida Xuebao. Ziran Kexue Ban. Journal of Northeast Normal University. Natural Science Edition (Dongbei Shida Xuebao) (20040101), 36, no.~4, 38-44. ISSN: 1000-1832 (print).
- Subject
- 03 Mathematical logic and foundations -- 03F Proof theory and constructive mathematics
03F07 Structure of proofs
- Language
- English
Chinese