1007-1792
2016 Issue 2
..............page:1-13
On the Succinctness of Logic Programs with Nested Bodies and Cardinality Constraints
Yan Zhang;,Yuping Shen;,Xishun Zhao;
Yan Zhang;,Yuping Shen;,Xishun Zhao;
..............page:14-31
..............page:32-44
The Foundation of Prior's Hybrid Tense Logic
Shuquan Huo;
Shuquan Huo;
..............page:45-60
Structuralism and Scientific Representation
Yidong Wei;
Yidong Wei;
..............page:61-83
A Formalized Description of Metonymic Type Mismatch
Enxu Wang;,Chongming Ding;
Enxu Wang;,Chongming Ding;
..............page:84-97
Hao Wang's Life and Achievements
Shangshui Zhang;,Jialong Zhang;,Qingyu Zhang;,Lu Wang;
Shangshui Zhang;,Jialong Zhang;,Qingyu Zhang;,Lu Wang;
..............page:98-128
..............page:封3