Journal of Symbolic Logic最新文献

{"title":"Peak Discharge in Jemelak Subwatershed, Sintang District","authors":"D. Auliyani, E. Nugrahanto","doi":"10.23960/JSL38273-282","DOIUrl":"https://doi.org/10.23960/JSL38273-282","url":null,"abstract":"Jemelak Sub Watershed is close to the junction of two big rivers, i.e. , Kapuas and Melawi. Therefore, this location faces environmental issues such as a flood. To avoid its possible damages, information o n  peak discharge becomes critical ,  particularly  in calculating the drainage structure. This study was aimed to predict the peak discharge in this area using a rational method. The maximum daily rainfall data from 1998 to 2017 were divided into two  periods of 10 years and analyzed. In the first period,  maximum rainfall range s from 98.6 to 176.3 mm, while the second period fluctuates from 67 . 6 to 190 mm. Analysis of land cover described that 43.97% of secondary swamp forest s turned into shrubs and swamp shrubs in the first period. Furthermore, about 800.71 ha of secondary swamp forest tuned into 582.80 ha of bare land, 181.04 ha of a plantation, and 36.88 ha of swamp shrubs in the second period. About 95.15% of shrubs w ere  also turned into agricultural land mixed with shrubs in the second period. The result showed that the changes in the maximum daily rainfall and land cover simultaneously affected the improvement of the peak discharge by about 2.53% in the first period and 28.30% in the second period. If the peak discharge exceeds the river capacity, then the local flooding will occur along the river border. Keywords: land cover, peak discharge, rainfall, Jemelak","PeriodicalId":17088,"journal":{"name":"Journal of Symbolic Logic","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2020-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82521833","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Growing Site Characteristics of Agathis labillardieri Warb in the Natural Forests of Siwi Momiwaren, West Papua","authors":"R. Siburian, Mei Trirbo, Rusdi Angrianto","doi":"10.23960/JSL38297-307","DOIUrl":"https://doi.org/10.23960/JSL38297-307","url":null,"abstract":"Agathis labillardieri Warb is one of the copal-producing tree species that only distributed in Papua. In connection with regional development, the existence of this species has been a significant concern. Therefore, it is necessary to study the characteristics of A. labillardieri Warb in their natural growing areas in the natural protected forest of Siwi Momiwaren. The data were collected by using the line plot method systematic sampling method with nesting plot. The data were then analyzed to determine the species relative density, frequency, dominance, important value index (IVI), and growth characteristics. The results showed that A. labillardieri Warb had the highest IVI at all levels of growth, with the highest diversity index at the seedling level of 3,49. When viewed from the relationship of the presence of species with the characteristics of the growing site, the content of Mg and Na significantly affected the presence of this species in the natural forest area of South Manokwari Siwi Momiwaren. Keywords: Agathis labillardieri Warb, growing site characteristics, Siwi Momiwaren, West Papua","PeriodicalId":17088,"journal":{"name":"Journal of Symbolic Logic","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2020-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91195255","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"GAMES AND REFLECTION IN","authors":"J. P. Aguilera","doi":"10.1017/jsl.2020.20","DOIUrl":"https://doi.org/10.1017/jsl.2020.20","url":null,"abstract":"<jats:p>We characterize the determinacy of <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481220000201_inline3.png\" /><jats:tex-math>\u0000$F_sigma $\u0000</jats:tex-math></jats:alternatives></jats:inline-formula> games of length <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481220000201_inline4.png\" /><jats:tex-math>\u0000$omega ^2$\u0000</jats:tex-math></jats:alternatives></jats:inline-formula> in terms of determinacy assertions for short games. Specifically, we show that <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481220000201_inline5.png\" /><jats:tex-math>\u0000$F_sigma $\u0000</jats:tex-math></jats:alternatives></jats:inline-formula> games of length <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481220000201_inline6.png\" /><jats:tex-math>\u0000$omega ^2$\u0000</jats:tex-math></jats:alternatives></jats:inline-formula> are determined if, and only if, there is a transitive model of <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481220000201_inline7.png\" /><jats:tex-math>\u0000${mathsf {KP}}+{mathsf {AD}}$\u0000</jats:tex-math></jats:alternatives></jats:inline-formula> containing <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481220000201_inline8.png\" /><jats:tex-math>\u0000$mathbb {R}$\u0000</jats:tex-math></jats:alternatives></jats:inline-formula> and reflecting <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481220000201_inline9.png\" /><jats:tex-math>\u0000$Pi _1$\u0000</jats:tex-math></jats:alternatives></jats:inline-formula> facts about the next admissible set.</jats:p><jats:p>As a consequence, one obtains that, over the base theory <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481220000201_inline10.png\" /><jats:tex-math>\u0000${mathsf {KP}} + {mathsf {DC}} + ``mathbb {R}$\u0000</jats:tex-math></jats:alternatives></jats:inline-formula> exists,” determinacy for <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481220000201_inline11.png\" /><jats:tex-math>\u0000$F_sigma $\u0000</jats:tex-math></jats:alternatives></jats:inline-formula> games of length <jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481220000201_inline12.png\" /><jats:tex-math>\u0000$omega ^2$\u0000</jats:tex-math></jats:alternatives></jats:inline-formula> is strong","PeriodicalId":17088,"journal":{"name":"Journal of Symbolic Logic","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2020-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78620431","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Evapotranspiración del cultivo de granado por balance de energía","authors":"Norma Guadalupe Sifuentes-Morín, J. Frías-Ramírez, Alan Joel Servín-Prieto, J. A. Montemayor-Trejo","doi":"10.35429/JSL.2020.22.7.1.6","DOIUrl":"https://doi.org/10.35429/JSL.2020.22.7.1.6","url":null,"abstract":"Evapotranspiration is a key element in calculating the surface energy balance, wáter balance and crop water stress and crop yield determination. However, it´s direct measurement or estimation is frequently complicated, since the diversity and complexity of the factors acting in this physical process. (morphological, physiological and soil factors). SEBAL (Surface Energy Balance Algorithm for Land) estimates ET based on satellite images, using the principles of surface energy balance producing excellent results as reported in several studies of different scientist authors; minimizing the cost and time for the ET determination for large vegetation zones. The objective of this research work was to estimate the potential evapotranspiration for the pomegranate crop in a commercial farm, located in Gomez Palacio, Durango, Mexico, by SEBAL using Landsat 8 satellite images during the crop cycle 2016. The results were validated with estimates of ET by the FAO 56 method, obtaining a Willmott concordance index of 0.96, which means good estimation precision.","PeriodicalId":17088,"journal":{"name":"Journal of Symbolic Logic","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2020-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89223498","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"The Power of System’s Coupling in the Development of Smallholder-Private Forests","authors":"T. Suhartati, R. Purwanto, A. Setyarso, S. Sumardi","doi":"10.23960/jsl28155-172","DOIUrl":"https://doi.org/10.23960/jsl28155-172","url":null,"abstract":"The smallholder-private forests initially developed through various catalysts, particularly the government's greening program. The various functions of smallholder-private forests in economic, social, and environmental life has encouraged the forests as an integral part of community life. This condition is termed as a status of adjusted to each other (couple state) between the forests and community life. The couple state needs to be studied to help in improving community lives through the development of smallholder-private forests. A systems approach is required in learning the couple state. The main topic of research was the system’s coupling between smallholder-private forest systems and livelihood systems. The degree of the Jurnal Sylva Lestari ISSN (print) 2339-0913 Vol. 8 No. 2, Mei 2020 (155-172) ISSN (online) 2549-5747 156 system’s coupling was measured using the value of the coupling coefficient (R). This study aimed to determine the degrees of coupling in three main farmer livelihoods. The study began by developing the causal loop diagram (CLD) of the coupling of the two systems. Samples of 72 head of the family that work as full farmers, part-time farmers, and non-farmers were taken purposively in Semoyo Village, Gunungkidul Regency. Data of farmers conditions were obtained through interviews by using questionnaires, and the conditions of smallholder-private forests were obtained through tree measurements. The results found that there was a dynamic coupling of the community forest system with community life in the three main livelihoods studied. The highest order of coupling degrees was full-time farmers, part-time farmers, and non-farmers, respectively. The difference in degrees of coupling in the three main livelihoods can be used as a basis for stakeholder intervention in formulating regulations, policies, and coaching to improve the quality of life of the community.","PeriodicalId":17088,"journal":{"name":"Journal of Symbolic Logic","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87276398","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"The Utilization of Medicinal Plants by Communities around Bukit Kelam Nature Park, Sintang Regency, West Kalimantan","authors":"F. Yusro, Resky Nanda Pranaka, Indah Budiastutik, Y. Mariani","doi":"10.23960/jsl28255-272","DOIUrl":"https://doi.org/10.23960/jsl28255-272","url":null,"abstract":"Bukit Kelam Nature Park has a high diversity of flora, including medicinal plants. This study aimed to analyze the medicinal plants in Bukit Kelam Nature Park with high use value (UV), agreement of community's (informant consensus factor/ICF) in utilizing plant species for specific usage categories, and preferred medicinal plants for the treatment of particular usage (fidelity level/FL). Data was collected through field surveys and interview with respondents in Kebong, Merpak, and Kelam Sejahtera villages. Purposive sampling was used to determine the number of the respondent, and the number of respondents was 30% of the total number of the households (351 respondents). The results showed that 84,61% of respondents used 198 species of medicinal plants. Eleven species had high UV, and 5 of them were Curcuma longa (0,3761), Piper betle (0,2422), Psidium guajava (0,2308), Syzygium polyantum (0,1510), and Eleutherine bulbosa (0,1481). The high ICF for the usage category were for body odor, bad breath, diet, acne, nosebleeds, coughs, diarrhea, hypertension, and internal injuries. Fifty-eight species had high FL values (100%), and 5 of them were Erythrina subumbrans (fever), Heliconia rostrata (diabetes), Hippobroma longiflora (dysentery), Cassia alata (skin infection), and Baccaurea motleyana (sore eyes). Keywords: Bukit Kelam, conservation, local wisdom, traditional medicine","PeriodicalId":17088,"journal":{"name":"Journal of Symbolic Logic","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76642482","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Citronella (Cymbopogon nardus L.) Oil Yield Analysis Planted with Agroforestry and Monoculture Patterns on Post-Coal Mining Revegetation Land","authors":"A. Juliarti, N. Wijayanto, I. Mansur, T. Trikoesoemaningtyas","doi":"10.23960/jsl28181-188","DOIUrl":"https://doi.org/10.23960/jsl28181-188","url":null,"abstract":"Lemongrass (Cymbopogon nardus L.) is an economically valuable plant that produces citronella oil and could grow on marginal lands. This study aimed to analyze citronella oil yields planted with agroforestry and monoculture patterns in a post-mining revegetation area. The treatment consisted of 3 factors, namely planting pattern, fertilizer dosage, and plant spacing. The measured variable was the citronella oil yield. The study was conducted by planting two lemongrass varieties i.e., Sitrona 2 Agribun Variety dan G2 Variety in the agroforestry and monoculture areas. The study was conducted for 12 months with three harvest times, i.e., in the 6th, 9th, and 12th months. The results showed that planting patterns significantly affected the citronella oil yield. Planting pattern of Monoculture-Sitrona 2 Agribun Variety (P4) produced the highest oil yield (1,95%). Plant spacing and dosage of bokashi fertilizer did not significantly affect the citronella oil yield. The Monoculture-Sitrona 2 Agribun Variety (P4) significantly increased the oil yield compared to the Agroforestry- Sitrona 2 Agribun Variety (P2), Monoculture-G2 Variety (P3), and Agroforestry-G2 Variety (P1) with a respective oil yield of 1,95% (P4), 1,50% (P2), 1,01% (P3), and 0,99% (P1). Sitrona 2 Agribun Variety tended to produce a higher oil yield than the G2 Variety.  Keywords: agroforestry, citronella oil, lemongrass, oil yield, revegetation","PeriodicalId":17088,"journal":{"name":"Journal of Symbolic Logic","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87732156","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Biecological Carrying Capacity of Forest and Land in Manokwari Regency, West Papua Province","authors":"J. Marwa, A. Sineri, Francine Hematang","doi":"10.23960/jsl28197-206","DOIUrl":"https://doi.org/10.23960/jsl28197-206","url":null,"abstract":"Manokwari Regency has high environmental risks due to the high rate of population growth and increased migration. This condition could affect the biocapacity of forest and land resources as well as the ecological footprint that could fulfill the needs of the community in the Manokwari Regency. This study aimed to assess the bioecological carrying capacity of forest and land, changes in forest cover, and projecting the bioecological carrying capacity for the next 50 years in the Manokwari Regency. A quantitative descriptive approach based on secondary time series data analysis and land cover dynamics analysis was used. The ecological footprint approach was carried out by calculating the ecological footprint, biocapacity, and bioecological carrying capacity. The results showed that the bioecological carrying capacity in 2017 in Manokwari District decreased compared to 2012. Forest degradation tended to decrease at a rate of 372 ha/year. However, deforestation increased at a rate of 1,298 ha/year. The results indicated that the policy of converting forests to permanent non-forest lands in the last five years was very massive. The projected bioecological carrying capacity in the next 50 years show ed that forest and land in Manokwari District tend to be overshoot. Keywords:  bioecological carrying capacity, change in land use, forests , land , Manokwari","PeriodicalId":17088,"journal":{"name":"Journal of Symbolic Logic","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91165246","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Vegetation Structure and Carbon Stocks in Secondary Forests of Muara Merang Forest Complex, South Sumatera","authors":"N. Heriyanto, D. Priatna, I. Samsoedin","doi":"10.23960/jsl28230-240","DOIUrl":"https://doi.org/10.23960/jsl28230-240","url":null,"abstract":"Primary natural forests generally have higher biodiversity and biomass compared to secondary forests . Th is study aimed to analyze the species composition, forest structure, biomass and carbon stock in the Old Secondary Forest (HST), Young Secondary Forest (HSM), and Old Shrub Forest (HBT) in Peat land Protect ion Area, Musi Banyuasin Regency, South Sumatera Province. Forest inventory was conducted in measurement plots of 100 m x 100 m in the HST, HSM, and HBT . The results recorded 39 species of 20 famil ies and 565 standing trees with a diameter of ≥ 10 in the HST, 48 species of 20 famil ies and 430 standing trees in the HSM, and  2 species of 1 family and 4 standing trees in the HBT . Vegetation a t the tree level in the HST was dominated by Eugenia sp., Alseodaphne insignis, and Adenanthera pavonina , while t he HSM was dominated by Macaranga maingayi , Koompassia malaccensis , and Alseodaphne insignis , and the HBT was dominated by Acacia mangium and Acacia crassicarpa . The b iomass and carbon stock of standing tree s in the HST were 1 81 ,6 1 t/ha and 90 , 79 t C/ha , respectively; in the HSM were 117 , 04 t/ha and 58 , 51 t C/ha ; while in the HBT were 1 , 33 t/ha and 0 , 66 t C/ha. The results revealed that carbon stock in the HST was higher than that in the HSM and HST. Keywords: carbon stocks, carbon uptake, Musi Banyuasin , peat lands, vegetation structure","PeriodicalId":17088,"journal":{"name":"Journal of Symbolic Logic","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87931691","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Biomass and Carbon Increments of Sapindaceae Family in Purwodadi Botanic Garden","authors":"S. A. Danarto","doi":"10.23960/jsl28241-254","DOIUrl":"https://doi.org/10.23960/jsl28241-254","url":null,"abstract":"Global warming has adverse effects on human life, which can be prevented by planting many trees. Sapindaceae family has various purposes, particularly as fruit producers. However, research on the potential of the Sapindaceae family as a carbon sequester is still lacking. This study aimed to determine the annual increment of biomass and carbon absorption of 22 species from the Sapindaceae family in Purwodadi Botanic Garden. Data were collected using a non-destructive method in the Purwodadi Botanic Garden in July-September 2019. The research tool used in this research included stationery, roll meter, and tally sheet. Biomass was measured with the Kettering equation. The results revealed variations in the value of biomass and the carbon increment of each species. Three species of the Sapindaceae family that have biomass and high carbon increment were Litchi chinensis, Filicium decipiens, and Schleichera oleosa. Keywords: biomass increment, carbon increment, g lobal warming, s apindaceae family","PeriodicalId":17088,"journal":{"name":"Journal of Symbolic Logic","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73857991","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}