• Journal for History of Mathematics
• /
• v.25 no.3
• /
• pp.29-39
• /
• 2012

As a product of modern proof theory, linear logic is a new form of logic developed for the purpose of enhancing programming language by Professor Jean-Yves Girard of Marseille University (France) in 1987 by supplementing intuitionist logic in a sophisticated manner. Thus, linear logic' s connectives can be explained using information processing terms such as sequentiality and parallel computation. For instance, A${\otimes}$B shows two processes, A and B, carried out one after another. A&B is linked to an internal indeterminate, allowing an observer to select either A or B. A${\oplus}$B is an external indeterminate, and as such, an observer knows that either A or B holds true, but does not know which process will be true. A ${\wp}$ B signifies parallel computation of process A and process B; linear negative exhibits synchronization, that is, in order for the process A to be carried out, both A and $A^{\bot}$ have to be accomplished simultaneously. Since the field of linear logic is not very active in Korea at present, this paper deals only with syntax aspect of linear logic in order to arouse interest in the subject, leaving semantics and proof nets for future studies.

• Journal of the Korean association of regional geographers
• /
• v.13 no.4
• /
• pp.381-395
• /
• 2007

After the democratization process since 1988, the national scale voting behavior in congressional elections has changed from a rural-government party and urban-opposite party connection to a political regionalism oriented pattern. In this context, the case study with provincial border regions aims to investigate possible party identification change of the region, and to find a relationship between polling score ratio and socio-political characteristics of the candidates. As a result, Yeongdong shows a strong negation to the presumed Chungcheong local party and shows a continuous party identification with the Kyungsang local party. Muju reveals a more or less weakened identification with the Jeolla local party, on the contrary, Kimcheon shows a unchanged strong identification with the Kyungsang local party. The regional neighborhood effect was verified quite partly between the subdivision districts of the border regions. With a application of linear fitting method, it is certified that voters have attached great importance to the belonging party, native place, as well as political career of the candidates as a voting criterion.