• Title/Summary/Keyword: non-classical logics

Search Result 4, Processing Time 0.031 seconds

Non-associative fuzzy-relevance logics: strong t-associative monoidal uninorm logics

  • Yang, Eun-Suk
    • Korean Journal of Logic
    • /
    • v.12 no.1
    • /
    • pp.89-110
    • /
    • 2009
  • This paper investigates generalizations of weakening-free uninorm logics not assuming associativity of intensional conjunction (so called fusion) &, as non-associative fuzzy-relevance logics. First, the strong t-associative monoidal uninorm logic StAMUL and its schematic extensions are introduced as non-associative propositional fuzzy-relevance logics. (Non-associativity here means that, differently from classical logic, & is no longer associative.) Then the algebraic structures corresponding to the systems are defined, and algebraic completeness results for them are provided. Next, predicate calculi corresponding to the propositional systems introduced here are considered.

  • PDF

Weakening- free non-associative fuzzy logics: mica- norm (based) logics

  • Yang, Eun-Suk
    • 한국논리학회:학술대회논문집
    • /
    • /
    • pp.38-66
    • /
    • 2009
  • Weakening-free non-associative fuzzy logics, which are based on mica-norms, are introduced as non-associative substructural logics extending $GL_{e\bot}$ (Non-associative Full Lambek calculus with exchange and constants T, F) introduced by Galatos and Ono (cf. see [10, 11]). First, the mica-norm logic MICAL, which is intended to cope with the tautologies of left-continuous conjunctive mica-norms and their residua, and several axiomatic extensions of it are introduced as weakening-free non-associative fuzzy logics. The algebraic structures corresponding to the systems are then defined, and algebraic completeness results for them are provided. Next, standard completeness (i,e. completeness with respect to algebras whose lattice reduct is the real unit interval [0, 1]) is established for these logics by using Jenei and Montagna-style approach for proving standard completeness in [7, 18].

  • PDF

Algebras and Semantics for Dual Negations

  • Yang, Eun-Suk
    • Korean Journal of Logic
    • /
    • v.10 no.1
    • /
    • pp.1-23
    • /
    • 2007
  • Dunn investigated algebras and semantics for negations in non-classical logics. This paper extends his investigation to dual negations, more exactly to duals to the negations in Dunn [3, 5]. I first survey and systematize the algebras of dual negations, i.e., (self-dual) subminimal negation, dual Galois negations, dual minimal negation, wB (or dual intuitionistic) negation, (self-dual) De Morgan negation, and (self-dual) ortho negation, based on partially ordered sets. I next provide dual-perp semantics for these (dual) negations. I finally give representations for them by using dual-perp semantics.

  • PDF

The Production Structure of Genetic Information in South Korea (한국의 유전적 정보 생산 구조)

  • Yi Cheong-Ho
    • Journal of Science and Technology Studies
    • /
    • v.5 no.1
    • /
    • pp.55-92
    • /
    • 2005
  • The factors contributing to the formation of an important scientific concept in South Korea and its circulation in the society are the scientific knowledge that had been already formed, matured, and established in the U.S.A, Europe and Japan and has been introduced into Korea, and the institutions that have been formed during the recent modernization in South Korea. The concept of 'genetic information' cannot be an exception in this context. The concept of genetic information is the one that has been extended and intensified by the genomics and bioinformatics formed and matured through the Human Genome Projects from the former concept of inheritance or heredity within the framework of classical and molecular genetics. The purpose of this study was to find out 'how the production structure of genetic information in South Korea has been formed', under the perspective of the conceptual, epistemic, and institutional holisticity or integratedness in the concept and knowledge production structure idealized in Western advanced nations. The discourse of genetic engineering popular in the mid 1980's in South Korea has catalyzed the development of molecular biology. However, the institutional balance that had been established for the biochemistry departments in Natural Science College and Medical College was not formed between the genetic engineering and genetics departments in South Korea. Therefore, they were unable to achieve the more integrative and macro-level disciplinary impact on life sciences, largely due to institutional lack of the capable (human) genetics departments in some leading Korean colleges of Medicine. In genomics, the cutting-edge reprogramming and restructuring of the traditional genetics in the West, South Korea has not invested, even meagerly, in the infrastructure, fund, and research and development (R & D) for the Basic or First Phase of the research trajectory in the Human Genome Project. Without a minimal Basic Phase, the genomics research and development in Korea has been running more or less for the Advanced or Second Phase. Bioinformatics has started developing in Korea under a narrow perspective which regards it as a mere sub-discipline of information technology (IT). Having developed itself in parallel with genomics, bioinformatics contains its own unique logics and contents that can be both directly and indirectly connected to the information science and technology. As a result, bioinformatics reveals a defect in respect of being synergistically integrated into genetics and life sciences in Korea. Owing to the structural problem in the production, genetic information appears to be produced in a fragmented pattern in the Korean society since its fundamental base is weak and thin. A good example of the conceptual and institutional fragmentedness is that 'the genetics of individual identification' is not a normal integrated part of the Korean genetics, but a scientific practice exercised in the departments of legal medicine in a few Medical Colleges. And the environment contributing to the production structure of genetic information in South Korea today comprises 'sangmyung gonghak'(or life engineering) discourse and non-governmental organization movement.

  • PDF