On the basis of differently defined functions- than otherwise - for conjunction, disjunction and implication （＊）, we construct a formal system, as an axiomatic theory, on its three levels： propositional, predicate...On the basis of differently defined functions- than otherwise - for conjunction, disjunction and implication （＊）, we construct a formal system, as an axiomatic theory, on its three levels： propositional, predicate and arithmetical one, intended to be a formalizaton of identically false formulas. We argue somewhat in favor of such a system from the point of view of its meta theory （it is complete and consistent one）, of properties of duality, symmetry etc., as well as of a logic of a possible world.展开更多
Globally,marine bioinvasions threaten marine ecosystem structure and function,with the Mediterranean Sea being one of the most affected regions.Such invasions are expected to increase due to climate change.We conducte...Globally,marine bioinvasions threaten marine ecosystem structure and function,with the Mediterranean Sea being one of the most affected regions.Such invasions are expected to increase due to climate change.We conducted a risk screening of marine organisms(37 fishes,38 invertebrates,and 9 plants),both extant and‘horizon’(i.e.,not present in the area but likely to enter it).Based on expert knowledge for the Eastern Adriatic Sea coasts of Slovenia,Croatia,and Montenegro,screenings were conducted under both current and predicted climate conditions indicating with an increase in sea surface temperature and salinity of the Adriatic Sea together with changes in precipitation regime.Our aims were to:(1)identify non-native extant and horizon marine species that may pose threats to native biodiversity and(2)evaluate the risk of invasiveness of the selected species under current and predicted climate conditions.Of the 84 species screened,there was an increase in those ranked as‘high risk’from 33(39.3%)under current climate conditions and to 47(56.0%)under global warming scenarios.For those ranked as‘very high’risk,the increase was from 6(7.1%)to 21(25.0%).Amongst the screened species,the already established high-risk species Pacific oyster Magallana gigas and Atlantic blue crab Callinectes sapidus represent a threat to ecosystem services.Given the under-representation of marine species in the current European Union List,the species we have ranked as high to very high risk should be included.展开更多
文摘On the basis of differently defined functions- than otherwise - for conjunction, disjunction and implication （＊）, we construct a formal system, as an axiomatic theory, on its three levels： propositional, predicate and arithmetical one, intended to be a formalizaton of identically false formulas. We argue somewhat in favor of such a system from the point of view of its meta theory （it is complete and consistent one）, of properties of duality, symmetry etc., as well as of a logic of a possible world.
基金funded by an ERASMUS+(EPPKA2-Cooperation for innovation and the exchange of good practices,CBHE-JP-Capacity building in higher education)within the project “Educational capacity strengthening for risk management of non-native aquatic species in Western Balkans(Albania,Bosnia and Herzegovina and Montenegro)-RiskMan”(project reference:619384-EPP-1-2020-1-TR-EPPKA2-CBHEJP)the national research project“Monitoring the species diversity and abundance of non-native species in the Slovenian Sea”and the Slovenian Research Agency(research core funding No.P1-0237)the Croatian Science Foundation for the support under Project No.HRZZ-IP-2019-04-6702(Benthic NIS).
文摘Globally,marine bioinvasions threaten marine ecosystem structure and function,with the Mediterranean Sea being one of the most affected regions.Such invasions are expected to increase due to climate change.We conducted a risk screening of marine organisms(37 fishes,38 invertebrates,and 9 plants),both extant and‘horizon’(i.e.,not present in the area but likely to enter it).Based on expert knowledge for the Eastern Adriatic Sea coasts of Slovenia,Croatia,and Montenegro,screenings were conducted under both current and predicted climate conditions indicating with an increase in sea surface temperature and salinity of the Adriatic Sea together with changes in precipitation regime.Our aims were to:(1)identify non-native extant and horizon marine species that may pose threats to native biodiversity and(2)evaluate the risk of invasiveness of the selected species under current and predicted climate conditions.Of the 84 species screened,there was an increase in those ranked as‘high risk’from 33(39.3%)under current climate conditions and to 47(56.0%)under global warming scenarios.For those ranked as‘very high’risk,the increase was from 6(7.1%)to 21(25.0%).Amongst the screened species,the already established high-risk species Pacific oyster Magallana gigas and Atlantic blue crab Callinectes sapidus represent a threat to ecosystem services.Given the under-representation of marine species in the current European Union List,the species we have ranked as high to very high risk should be included.
