Logical Aspects of the Diversity of Agents

Logical Aspects of the Diversity of Agent

Dialogue Games for Minimal Logic

In this paper, we define a class of dialogue games for Johansson’s minimal logic and prove that it corresponds to the validity of minimal logic. Many authors have stated similar results for intuitionistic and classical logic either with or without actually proving the correspondence. Rahman, Clerbout and Keiff [17] have already specified dialogues for minimal logic; however, they transformed it into Fitch-style natural deduction only. We propose a different specification for minimal logic with the proof of correspondence between the existence of winning strategies for the Proponent in this class of games and the sequent calculus for minimal logic

From Semantic Games to Provability: The Case of Gödel Logic

We present a semantic game for Gödel logic and its extensions, where the players’ interaction stepwise reduces arbitrary claims about the relative order of truth degrees of complex formulas to atomic ones. The paper builds on a previously developed game for Gödel logic with projection operator in Fermüller et al. (in: M.-J. Lesot, S. Vieira, M.Z. Reformat, J.P. Carvalho, A. Wilbik, B. Bouchon-Meunier, and R.R. Yager, (eds.), Information processing and management of uncertainty in knowledge-based systems, Springer, Cham, 2020, pp. 257–270). This game is extended to cover Gödel logic with involutive negations and constants, and then lifted to a provability game using the concept of disjunctive strategies. Winning strategies in the provability game, with and without constants and involutive negations, turn out to correspond to analytic proofs in a version of SeqGZL (A. Ciabattoni, and T. Vetterlein, Fuzzy Sets and Systems 161(14):1941–1958, 2010) and in a sequent-of-relations calculus (M. Baaz, and Ch.G. Fermüller, in: N.V. Murray, (ed.), Automated reasoning with analytic tableaux and related methods, Springer, Berlin, 1999, pp. 36–51) respectively

Features of the permeability spectra of CoZnW hexaferrites in the spin-reorientation phase transition region

Abstract—The hexaferrites of the Co2-xZnxW system have a number of outstanding properties among other hexaferrites. This makes them promising both for obtaining new physical data and for practical use. In this paper, we analyze the concentration and temperature dependences of the resonance frequencies of natural ferromagnetic resonance and the damping constant in the equation of motion of the magnetization vector of these materials in the vicinity of spin-reorientation phase transitions. It is shown that these hexaferrites can find practical application in the entire microwave frequency range

Accounting for cryptic population substructure enhances detection of inbreeding depression with genomic inbreeding coefficients: an example from a critically endangered marsupial

Characterizing inbreeding depression in wildlife populations can be critical to their conservation. Coefficients of individual inbreeding can be estimated from genome-wide marker data. The degree to which sensitivity of inbreeding coefficients to population genetic substructure alters estimates of inbreeding depression in wild populations is not well understood. Using generalized linear models, we tested the power of two frequently used inbreeding coefficients that are calculated from genome-wide SNP markers, FH and F^III, to predict four fitness traits estimated over two decades in an isolated population of the critically endangered Leadbeater's possum. FH estimates inbreeding as excess observed homozygotes relative to equilibrium expectations, whereas F^III quantifies allelic similarity between the gametes that formed an individual, and upweights rare homozygotes. We estimated FH and F^III from 1,575 genome-wide SNP loci in individuals with fitness trait data (N = 179–237 per trait), and computed revised coefficients, FHby group and F^IIIby group, adjusted for population genetic substructure by calculating them separately within two different genetic groups of individuals identified in the population. Using FH or F^III in the models, inbreeding depression was detected for survival to sexual maturity, longevity and whether individuals bred during their lifetime. F^IIIby group (but not FHby group) additionally revealed significant inbreeding depression for lifetime reproductive output (total offspring assigned to each individual). Estimates of numbers of lethal equivalents indicated substantial inbreeding load, but differing between inbreeding estimators. Inbreeding depression, declining population size, and low and declining genetic diversity suggest that genetic rescue may assist in preventing extinction of this unique Leadbeater's possum population. © 2020 John Wiley & Sons Lt

Electrophysical characteristics of water of the rivers of Siberia and Altai

The results of measurements of the complex permittivity at the range of 100 MHz - 40 GHz and the conductivity of the water out of the reservoirs of Tomsk and Kemerovo regions and the Altai Territory are presented in the article. The method of the open-end-coaxial was applied. The conductivity was measured with LCR-meter at a frequency of 100 kHz. All the measurements were performed at temperatures of 10°C and 23°C. The samples are varied significantly in the values of conductivity, which is related to the geographical sampling place. Differences in permittivity values are greater at the low temperature and low frequencies and at the same time they are also significant at the high temperature and at high frequencies. The results of this study in order to improve the reliability of the analysis of the pollution degree and water salt content of natural water reservoirs should be taken into account the measurement made at wide frequency range. © (2016) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only

Situación actual del empleo juvenil en la República de Sakha (Yakutia)

The relevance of this research is evident as the problems of the modern market economy and the financial system of the global world economy are highly pertinent to economic science. In the modern world, on its way to globalization, the ability to promptly adapt to the conditions of international competition is becoming instrumental for ensuring successful and sustainable development. The primary competitive advantage held by a highly developed country is related to the possibility of updating its human development index, which is largely determined by the state of its education system. Thus, this area is connected to the country’s sustainable economic growth over the medium and long terms; the employment of fresh graduates is a complex, relevant and multifaceted problem, since it affects almost all segments of society. Currently, in view of the rapidly evolving situation in the labor market, the threat of unemployment for recent graduates is becoming extremely acute. Today’s graduates replenish vulnerable social groups that are suffering from difficult life situations. The purpose of this study is to analyze the state of employment of university graduates, as exemplified by the employment of recent graduates, and to provide recommendations to assist in their recruitment. A combination of theoretical (analysis, generalization while establishing principles and patterns), organizational (comparison, longitudinal method) and empirical (sociological methods, observational methods, quantitative method of statistical processing of the collected data and interpretation method) methods was used in the research. As part of the study, knowledge regarding the primary factors affecting high school graduates’ employment is defined and systematized. The practical and theoretical significance of the study lies in the recommendations developed for promoting university graduates’ employment in the Republic of Sakha (Yakutia) [RS (Y)] based on the results obtained.La pertinencia de esta investigación es evidente, ya que los problemas de la economía de mercado moderna y el sistema financiero de la economía mundial global son muy pertinentes para la cienciaeconómica. En el mundo moderno, en su camino hacia la globalización, la capacidad de adaptarse rápidamente a las condiciones de la competencia internacional se está convirtiendo en un instrumento para asegurar un desarrollo exitoso y sostenible. La principal ventaja competitiva de un país altamente desarrollado está relacionada con la posibilidad de actualizar su índice de desarrollo humano, que viene determinado en gran medida por el estado de su sistema educativo. Así pues, esta esfera está relacionada con el crecimiento económico sostenible del país a mediano y largo plazo; el empleo de los recién graduados es un problema complejo, pertinente y polifacético, ya que afecta a casi todos los segmentos de la sociedad. Actualmente, en vista de la rápida evolución de la situación del mercado laboral, la amenaza del desempleo para los recién graduados se está agudizando enormemente. Los graduados de hoyen día reponen los grupos sociales vulnerables que están sufriendo situaciones de vida difíciles. El propósitode este estudio es analizar la situación de empleo de los graduados universitarios, como lo ejemplifica el empleo de los recién graduados, y proporcionar recomendaciones para ayudar en su contratación. En la investigación se utilizó una combinación de métodos teóricos (análisis, generalización al tiempo que se establecen principios y pautas), organizativos (comparación, método longitudinal) y empíricos (métodos sociológicos, métodos de observación, método cuantitativo de procesamiento estadístico de los datos reunidos y método de interpretación). Como parte del estudio, se definen y sistematizan los conocimientos relativos a los principales factores que afectan al empleo de los graduados de la enseñanza secundaria. La importancia práctica y teórica del estudio radica en las recomendaciones elaboradas para promover el empleo de los graduados universitarios en la República de Saja (Yakutia) [RS (Y)] sobre la base de los resultados obtenidos