• Journal for History of Mathematics
• /
• v.12 no.1
• /
• pp.32-44
• /
• 1999

This paper is a sequel to [8]. Development of modern logic was initiated by Boole and Morgan. Boolean logic is one of their completed works. Cantor created the set theory along with cardinal and ordinal numbers. His theory on infinite sets brought about a remarkable development on modern mathematical theory, but generated many paradoxes (e.g. Russell Paradox) that in turn motivated mathematicians to solve them. Further, mathematicians attempted to construct sound foundations for Mathematics. As a result three important schools of thought were formed in relation to fundamentals of mathematics for the resolution of paradoxes of set theory, namely logicism developed by Russell and Whitehead, intuitionism lead by Brouwer and formalism contended by Hilbert and Bernays. In this paper, we examine the logic for intuitionism which is originated by Brouwer in 1908 and study Heyting algebra.

• Korean Journal of Environmental Agriculture
• /
• v.3 no.2
• /
• pp.43-49
• /
• 1984

The acute toxicity of an insecticide cartap to several species of freshwater animals was evaluated in the laboratory with special reference to the species specificity, effects of water temperatures and pH values. The aquatic animals tested were the Carassius auratus L., Aphyocypris chinensis $G{\"{U}}NTHER$, Misgurus anguillicaudatus CANTOR, Moina macrocopa STRAUS. The susceptibility of aquatic animals to cartap was different with the species of animals. At the water temperature of $25^{\circ}C$ and pH 7, TLm values of the insecticide to the C. auratus L., A. chinensis G. and M. anguillicaudatus were 0.88, 0.26 and 0.13 ppm in 48 hours, respectively, and to Moina macrocopa S., 306 ppm in 3 hrs. In the case of the three species of fish, TLm 48 values were significantly decreased with rise in temperature. In the case of water flea, where TLm value was 107 ppm at $20^{\circ}C$, there was no consistent response to temperature change, with the highest figure at $25^{\circ}C$ than at either 20 or $30^{\circ}C$. and the susceptibility of C.auratus L. and A. chinensis G. greatly decreased with the increase of pH in water. The toxicity to M. anguillicaudatus and M. macrocopa was significantly higher at pH 9 than at pH 6 or 7. In conclusion, the toxicological reactions of the freshwater animals to cartap were variably influenced by the water temperatures and pH values of water and species of animals.

• Journal of Pharmacopuncture
• /
• v.15 no.4
• /
• pp.52-65
• /
• 2012

Objectives: Toad venom, called Chan-Su, is a traditional Oriental medicine secreted from the auricular and the skin glands of the Bufo bufo gargarizanz Cantor or B. melanosticus Schneider and has been widely used in China, Korea and other parts of Asia for the treatment of pain, heart conditions, and cancer. We examined the concentrations of the main chemical constituents within a commercially available toad venom product and compared the levels for different extraction methods. Methods: Toad venom was extracted using either cold or hot water, ethanol (EtOH), methanol (MeOH), or ethyl acetate (EtOAc), was fractionated using precipitation or reflux, and was then analyzed using thin layer chromatography (TLC), high-performance liquid chromatography (HTLC), and liquid chroma-tography - mass spectrometry (LC-MS). Individual components were identified by comparisons of the retention times, the ultraviolet spectra, and mass spectras and differences in chemical constituents for different solvents and extraction methods are presented. Results: Components with authentic standards, including serotonin and bufodienolides (cinobufagen, bufalin, cinobufalin, and resibufogenin), were detected. The water extract of toad venom contained the greatest amount of serotonin ($75.7{\pm}0.1$ mg/g), but very small amounts of bufodienolides ($3.8{\pm}0.0$ mg/g). In contrast, the use of MeOH or EtOH extraction solutions resulted in 5-26 times higher concentrations of bufodienolides, with only trace amounts of serotonin. The relative and the absolute concentrations of the component also varied based on the extraction method; i.e., EtOH extracts yielded the greatest total amounts of bufodienolides, and EtOAc precipitation had the lowest amounts of bufodienolides. Conclusions: Toad venom consists of serotonin and several bufodienolides, and the choice of solvent to extract chemical the constituents is important as a way to enrich the purported active components for treating different conditions.

• Korean Journal of Ichthyology
• /
• v.19 no.4
• /
• pp.306-317
• /
• 2007

Reproductive cycle with the gonad developmental phases, first sexual maturity, spawning frequency, sex ratio of the dusky mud hopper, Periophthalmus modestus were investigated by histological observations. Monthly variations of the gonadosomatic index (GSI) began to increase in May and reached a maximum in June when the gonad was getting mature during the period of higher ground (water) temperature-long day length. Changes in the GSI showed a negative correlation to the HSI, but coincided with the fatness index. The reproductive cycle can be classified into five successive stages: in female, early growing stage (April to May), late growing stage (April to May), mature stage (May to June), ripe and spent stage (June to August), and recovery and resting stage (August to March); in males, growing stage (April to May), mature stage (May to June), ripe and spent stage (June to August), and recovery and resting stage (August to March); According to the frequency distributions of egg diameters during the breeding season, Periophthalmus modestus is presumed to be a summer breeder, asynchronous group and polycyclic species to spawn 2 times or more during the spawning season. Total eggs and mature eggs in absolute fecundity and relative fecundity (per cm) increased with the increase of body length. Total eggs and mature eggs in absolute fecundity and relative fecundity (per g) did not increase with the increase of body weight. Percentages of first sexual maturity of females and males ranging from 5.1 to 5.5 cm in body length are over 50%, and 100% for fish over 7.1 cm in body length. The sex ratios of females to males over 5.1 cm in body length were not significantly different from a 1 : 1 sex ratio.