1007-1792
2010 Issue 3
"Modernizing Logic":Today\'s Thought and Practice -A Report on a Special Session of the Conference"Wang Xianjun Centenary"
Taotao Xing;Beihai Zhou
Taotao Xing;Beihai Zhou
..............page:139-144
The Power of Auxiliary Variables for Propositional and Quantified Boolean Formulas
Uwe Bubeck;Hans Kleine Büning
Uwe Bubeck;Hans Kleine Büning
..............page:1-23
..............page:封3
..............page:110-138
On Some Properties of Generalized Quantifiers
Xiaojun Zhang
Xiaojun Zhang
..............page:67-79
..............page:44-66
Truth-conditional Content Irrealism
Zhenzhong Zhou
Zhenzhong Zhou
..............page:80-90
On Phenomenal Concept
Xiaoyang Wang
Xiaoyang Wang
..............page:91-109
PARTIAL MAX-SAT of Level Graph (Mixed-Horn)Formulas
Ewald Speckenmeyer;Stefan Porschen
Ewald Speckenmeyer;Stefan Porschen
..............page:24-43