Schedule of Short_Communication and Poster

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19

Section 01   Logic


August 21

Short Communication/Poster

13:40-14:40,   Poster
Chen,Guolong, Huaibei Coal Industry Teachers College,China
Computational Complexity on the Logic Theory
Klujkov, Sergey , Priazovsky Technical State University, Ukraine
Fairy Mathematics or Development of Math by adding of ones
August 22

Short Communication/Poster

13:40-14:40,   R3058
Baizhanov,Bektur Sembiuly, Institute of Problems of Informatics and Control,Kazakhstan
Axiomatizable classes of pairs of models with weakly o-minimal theory
Turekhanova, Gulzhan , Institute of Problemsof Informatics and Control, Kazakhstan
Examples of almost o-minimal theories
Kulpeshov, Beibut Shaiykovich , Informatics and Control Problems Institute, Kazakhstan
On weakly o-minimal theories of convexity rank 1
Li, Na , Henan University/Nankai University, China
On a Boolean-valued model of the strict implication system
14:45-15:45,   R3058
Caceres, Luis , University of Puerto Rico at Mayaguez, USA
Propositional logic and algebraic structures
Hebert, Michel , American University in Cairo, Egypt
l-algebraically and l-existentially closed substructures in categorical context
Li, Zhiwei , Capital Normal University, China
Implication algebra and heyting algebra
Verbovskiy, Viktor , Institute for Problems of Informatics and Control, Kazakhstan
Coset-minimal groups

August 24

Short Communication/Poster

13:40-14:40,   Poster
Chen,Guolong, Huaibei Coal Industry Teachers College,China
Computational complexity on the logic theory
16:15-17:15,   R3058
Hrbacek, Karel , City College of New York, USA
Relativization in nonstandard set theory.
Model, Boris , Ben-Gurion University of the Negev, Israel
Theory of infinitestage games of search and completion
Wencel, Roman , Wroclaw University, Mathematical Institute, Poland
Boolean ordered o-minimal structures - an overview of my PhD thesis
Wang, Fangting , Univ. of Science & Tech. of China, China
Set Theoretic Hypothesis : There Exist Nonprincipal Arithmetical Ultrafilters on w
17:20-18:20,   R3058
Gauthier, Yvon , University of Montreal, Canada
Modular polynomial logic and the consistency of arithmetic
Li, Angsheng , Chinese Academy of Sciences, China
Structural theory of the computably enumerable turing degrees
Nourani, Cyrus F , USA Last Appointment UCSB on Call, USA
Functorial models and implicit complexity
Wu, Guohua , Victoria University of Wellington, New Zealand
Interactions between c.e. degrees and d.c.e. degrees

August 26

Short Communication/Poster

14:45-15:45,   R3058
Hartz, David , College of St Benedict, USA
An extension of the hyperarithmetic hierarchy
Huang, Cheng-Gui , Cheng-Gui Huang Mathematical Institute For Research of Infinitesimal Calculus, China
Standard infinitesimal calculus
Liu, Feng , Shaanxi Economics and Trade Institute, China
On both A and anti-A in neutrosophics of logic in excitation-inhibition perspective
Smarandache, Florentin , University of New Mexico, USA
Neutrosophic Logic Operators
Please send your suggestions and comment to:
Last modified: July.31, 2002

2002 © Copyright by Chinese Mathematical Society. All Rights Reserved