bluuebunny/crossref_metadata_2025_split huggingface dataset:
A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
Authors: Tourlakis George 
Published: May 2017

Reference [12] introduced a novel formula to formula translation tool (“formula-tors”) that enables syntactic metatheoretical investigations of first-order modallogics, bypassing a need to convert them first into Gentzen style logics in order torely on cut elimination and the subformula property. In fact, the formulator tool,as was already demonstrated in loc. cit., is applicable even to the metatheoreticalstudy of logics such as QGL, where cut elimination is (provably, [2]) unavailable. This paper applies the formulator approach to show the independence of the axiom schema ☐A → ☐∀ A of the logics M3and ML3 of [17, 18, 11, 13]. This leads to the conclusion that the two logics obtained by removing this axiom are incomplete, both with respect to their natural Kripke structures and to arithmetical interpretations. In particular, the so modified ML3 is, similarly to QGL, an arithmetically incomplete first-order extension of GL, but, unlike QGL, all its theorems have cut free proofs. We also establish here, via formulators, a stronger version of the disjunction property for GL and QGL without going through Gentzen versions of these logics (compare with the more complexproofs in [2,8]).
Professor Oktawiusz Jurewicz as a Byzantinist (1926–2016)
Authors: Kompa Andrzej , Leszka Mirosław J. 
Published: May 2017

The authors summarize the academic legacy of late Oktawiusz Jurewicz and his role as a leading Polish byzantinist of the second half of the 20th century. The text is supplemented by the detailed and updated bibliography of Jurewicz.
The Role of the Bible in the Formation of Philosophical Thought in Kievan Rus’ (as Exemplified by Ilarion of Kiev, Kliment Smolatič, and Kirill of Turov)
Authors: Kroczak Justyna 
Published: May 2017

The article is an attempt to critically evaluate the manifestations of the philosophical culture sprouting in Rus’. With the baptism in the Byzantine Rite, Rus’ in the 10th century joined the family of Christian nations and defined the future direction of her own cultural development. The Middle Ages in Rus’ were eminently theocentric. Literature (which was mostly translated from the Greek in Bulgarian monasteries) had a religious character. Sacral content, assimilated in Rus’ mainly through the Old Church Slavonic (due to the scarce knowledge of Greek) had a decisive influence on formation of the philosophical worldview of Rus’ intellectual elite. The Bible thus became the main reference framework for the first Rus’ thinkers-philosophers: Ilarion of Kiev († 1055), Kirill of Turov († 1183) and Kliment Smolatič († 1164). Ilarion of Kiev, the first metropolitan of the Kievan Rus’ in his rhetoric work (which postulated the superiority of the New Testament to the Old) expressed a philosophical thesis of the equality of all Christian nations before God. Kliment Smolatič, the second metropolitan of Rus’, in his Letter to Presbyter Foma, defended the allegorical method of interpretating the Bible. Kirill of Turov, in his turn, in his Parable of the human soul and body allegorically tried to answer the question about the relationship of the body and the soul. For the Rus’ thinkers the content of the Bible served as a pretext for philosophical reflection, e.g. on the role of man in the universe, on the nature of reality, on the relation between matter and spirit. In their works we find the beginnings of the theory of knowledge, metaphysics, ethics, and aesthetics.
Augustus Polonus. The Image of the Emperor in Polish Historiography in Inter-War Period. Preliminary Remarks
Authors: Gillmeister Andrzej 
Published: May 2017

The figure of the first Roman emperor in many ways had an impact on the Polish culture, especially in historiography and literature. In my paper I focus on some issues connected with the subject. I discuss the ideas presented by Tadeusz Zieliński, one of the most eminent researchers of the ancient world in Europe in the first part of 20th century. He devoted a significant part of his opus to present his own vision of Augustus seen as a reformer of the Roman state religion. Zieliński built the emperor’s image as the saviour of the Roman world in the face of „the end of times”. This term played significant role in Zieliński’s thinking about Roman history at the end of the Republic. For the Polish scholar celebration of the secular game in 17 BC was the final task done by Augustus. This task Zieliński defined as the sacred mission and connected with the figure of Sibyl and the impact of the Etruscan theory of saeculum. For Zieliński, Augustus belonged to the most important men of providence in Roman history. In the same way I discuss the ideas presented by Ludwik Piotrowicz and Mieczysław St. Popławski. Both scholars analised the question of imperial cult in depth. Popławski expressed original view on Augustus apotheosis seen as the development of imperial cult in transcendental perspective. Piotrowicz instead saw this problem as a purely political phenomenon. Last part of my paper is devoted to short resentation of the echos of Augustus’ bimillenium in Polish scholar activity.
A cisão discursiva do Pará nas campanhas televisivas do plebiscito em 2011
Authors: Aquino Evelyn Cristina Ferreira de , Seixas Netília Silva dos Anjos 
Published: May 2017

O estudo observou como se engendraram os discursos sobre a extensão territorial nas campanhas televisivas das frentes pró e contra a criação dos estados do Carajás e do Tapajós no plebiscito de 2011, no Pará. O Horário Gratuito de Propaganda Eleitoral ocorreu de 11 de novembro a 7 de dezembro daquele ano. Ao todo, 80 programas foram produzidos, veiculados entre 12h e12h10 e entre 19h30 e 19h40. Neste estudo, trabalhamos com 20 programas, vistos a partir da análise do discurso na vertente dialógica de Mikhail Bakhtin e da disputa por legitimação e descredenciamento de discursos, de Eliseo Verón. A análise mostrou que as frentes de campanhas atualizaram discursos históricos sobre o reordenamento de territórios na Amazônia, vozes que debatem a unidade territorial e a reestruturação da região para o desenvolvimento.
TIPE KEPRIBADIAN, PENERIMAAN PERILAKU DISFUNGSIONAL DAN KEPUTUSAN AUDIT
Authors: Kristianti Ika 
Published: May 2017

Abstrak: Tipe Kepribadian, Penerimaan Perilaku Disfungsional dan Keputusan Audit. Penelitian ini bertujuan untuk mendeskripsikan tipe kepribadian, penerimaan perilaku disfungsional dan pengambilan keputusan audit yang diambil oleh auditor. Penelitian ini dilakukan di Propinsi Jawa Tengah dengan 63 responden dari auditor di Kantor Akuntan Publik kota Semarang dan Solo. Teknik pengambilan sampel menggunakan purposive sampling. Hasil penelitian menunjukkan bahwa dalam menetapkan keputusan audit berisiko, jumlah auditor dengan tipe kepribadian B lebih banyak jika dibandingkan auditor dengan tipe kepribadian A. Begitu pula dalam menetapkan keputusan audit tidak berisiko, tipe kepribadian B lebih banyak dibandingkan dengan auditor yang memiliki tipe kepribadian A. Hasil pengolahan data penerimaan perilaku disfungsional memberikan hasil bahwa auditor yang menerima perilaku disfungsional membuat keputusan audit yang lebih berisiko dibandingkan dengan auditor yang menolak perilaku disfungsional Kata Kunci: Keputusan audit, tipe kepribadian dan penerimaan perilaku disfungsional. Abstract: Type of Personality, Acceptance of Dysfunctional Behavior and Audit Judgment. This study aimed to describe the type of personality, acceptance of dysfunctional behavior toward audit judgment. This research was conducted in the province of Central Java, with 63respondents from the auditor on Public Accounting Firm city of Semarang and Solo. The sampling technique used purposive sampling. The results showed that the decision establishes audit risk, the number of auditors with the personality type B is more than that type A. Meanwhile, in setting the audit decision is not at risk, personality type B more than that type A. The results of data processing reception dysfunctional behaviors provide results that auditors receive audit dysfunctional behaviors make decisions more risk than the auditor who refused dysfunctional behavior. Keywords: Audit judgment, personality type and acceptance of dysfunctional behavior.
PRODUKTIFKAH HUMAN CAPITAL INVESTMENT OLEH PEMERINTAH DAERAH PROVINSI DALAM ERA DESENTRALISASI?
Authors: Suprayitno Bambang , Nurseto Tejo , Supriyanto Supriyanto 
Published: May 2017

Abstrak: Produktifkah Human Capital Investment oleh Pemerintah Daerah Provinsi dalam Era Desentralisasi? Efektivitas pengeluaran pemerintah khususnya human capital investment dalam meningkatkan produktivitas tenaga kerja juga tergantung dari pemilihan pemda dalam menentukan jenis pengeluaran tersebut. Tujuan dari penelitian ini untuk mengetahui pengaruh pengeluaran belanja pemerintah secara umum maupun secara fungsional terhadap produktivitas tenaga kerja melalui pendekatan kuantitatif dengan metode ekonometrika. Penelitian ini menggunakan data sekunder dari ringkasan APBD pemda seluruh Indonesia yang disediakan oleh Kemenkeu Dirjen Perimbangan Keuangan Daerah RI. Data yang digunakan adalah data tahun 2012 dengan unit analisis perekonomian level provinsi seluruh Indonesia. Pengeluaran pemerintah provinsi secara total tidak mempengaruhi produktivitas tenaga kerja regional. Pengeluaran pemerintah daerah provinsi dalam fungsi human capital investment tidak efektif meningkatkan produktivitas tenaga kerja meski demikian pengeluaran pemerintah dalam bidang fasilitas umum dan perumahan mempengaruhi secara positif produktivitas tenaga kerja regionalnya. Kata Kunci: pemerintah daerah, human capital investment, produktivitas tenaga kerja, desentralisasi fiskal, pengeluaran pemerintah Abstract: Is The Human Capital Investment of Provincial Governments Productive in Decentralization Era? The effectiveness of government spending, especially investment in human capital, increases labor productivity also depends on how the local government determines the type of expenditure. The purpose of this study is to determine the effect of government spending in general and functionally to labor productivity. The approach used in this study is a quantitative approach, econometric method. This study uses secondary data from local government budgets across Indonesia summary provided by the Indonesian Ministry of Finance Directorate General of Regional Financial Balance. The data used is the provincial-level economic analysis units throughout Indonesia in 2012. This research shows that provincial government spending in human capital investment does not effectively increase labor productivity. Total provincial government spending does not affect the regional labor productivity. Government spending in the areas of public facilities and housing positively influence regional labor productivity. Keywords: local government, human capital investment, labor productivity, fiscal decentralization, public spending
KONSTRUKSI MODEL FAKTOR ANTESEDEN LOYALITAS BERBASIS NILAI PELANGGAN
Authors: Edy Irwan Christanto 
Published: May 2017

Abstrak: Konstruksi Model Faktor Anteseden Loyalitas Berbasis Nilai Pelanggan. Tujuan Penelitian ini adalah menguji model konseptual pengaruh nilai pelanggan terhadap loyalitas melalui kepuasan, pelayanan purna jual, kepercayaan pada merk dan pemasaran relasional. Penelitian ini merupakan penelitian survai. Data yang digunakan adalah data primer dengan mengambil nasabah sebagai objek penelitian. Instrumen pengumpulan data berupa daftar pertanyaan (kuesioner) baik dengan pertanyaan terbuka maupun tertutup. Metode analisis data yang digunakan meliputi analisis uji instrumen, analisis statistik deskriptif, dan analisis SEM. Model konseptual yang menggambarkan hubungan nilai pelanggan terhadap loyalitas melalui kepuasan, pelayanan purna jual, kepercayaan pada merk dan pemasaran relasional dapat diterima secara empiris. Penelitian ini menemukan bahwa nilai pelanggan dan layanan purna jual memberi kontribusi langsung yang signifikan terhadap loyalitas pelanggan. Kata Kunci: nilai pelanggan, loyalitas, pemasaran relasional Abstract: Construction of Antecedent Factor Model of Customer Value-Based Loyalty. The study aims to test the conceptual model of the effect of customer value on customer loyalty through satisfaction, after sales service, trust the brand and relationship marketing. This study is a survey research. The data used are primary that motorcycles customers in the city of Surakarta, as research objects. Data collection instruments in the form of a list of questions (questionnaire) either the open or closed questions. Data analysis methods used include analysis instrument test, descriptive statistical analysis, and analysis of the SEM. The conceptual model that describes the relationship of the value of customer loyalty through satisfaction, after sales service, trust the brand and relationship marketing empirically acceptable (meets the criteria Goodness of fit) scientific. This study found that the value of the customer and after-sales services contribute direct and significant to customer loyalty Keywords: customer value, loyalty, relationship marketing
ANALISIS FAKTOR-FAKTOR YANG BERPENGARUH PADA MINAT BERWIRAUSAHA MAHASISWA
Authors: Primandaru Noormalita 
Published: May 2017

Abstrak: Analisis Faktor-Faktor yang Berpengaruh pada Minat Berwirausaha Mahasiswa. Salah satu alternatif untuk memecahkan masalah pengangguran adalah dengan memberdayakan kelompok terdidik melalui program kewirausahaan di perguruan tinggi yang diharapkan mampu berkontribusi dalam penyerapan tenaga kerja sehingga mengurangi pengangguran dan beban negara. Penelitian ini menguji model yang bertujuan untuk mengetahui pengaruh internal locus of control, social support dan need for achievement terhadap minat berwirausaha pada mahasiswa. Penelitian ini termasuk dalam kategori penelitian cross-sectional. Hasil penelitian menunjukkan bahwa terdapat pengaruh internal locus of control dan social support pada minat berwirausaha mahasiswa, terdapat pengaruh internal locus of control terhadap need for achievement mahasiswa, tidak terdapat pengaruh social support pada need for achievement dan yang terakhir terdapat pengaruh need for achievement terhadap minat berwirausaha mahasiswa. Kata kunci: internal locus of control, social support, need for achievement, entrepreneurial intention Abstract: The Factors Affecting the Entrepreneurial Intention of College Students. The alternative to solve an unemployment problem is to empower the educated person through entrepreneurship programs at colleges that are expected to contribute to employment, thereby reducing unemployment and the burden on the state. This study tested a model that aims to determine the influence of internal locus of control, social support and the need for achievement against in entrepreneurial intention of the student. This study was a cross-sectional. The results show a significant relationship between internal locus of control and social support to the entrepreneurial intention of students. There is a significant relationship between internal locus of control and the need for achievement of students. There is an insignificant relationship between social support and the need for achievement and the last there is a significant relationship between need for achievement and entrepreneurial intention of students. Keywords: internal locus of control, social support, need for achievement, entrepreneurial intention
Perilaku makan berlebih dan hubungannya dengan kegemukan pada anak prasekolah
Authors: Herawati Herni Dwi , Gamayanti Indria Laksmi , Tsani A. Fahmy Arif , Gunawan I Made Alit 
Published: May 2017

<p><strong><em>Backgrounds: </em></strong>Obese children is a serious health problem. Obesity in childhood if it’s not handled properly will cause obesity up to adolescence and adulthood. Eating behavior in children plays an important role on the prevalence of obesity<strong>.</strong><strong><em></em></strong></p><p><strong><em>Objectives:</em></strong><em> This study aims to determine the correlation of excessive eating behavior (overeating, enjoyment of food, desire to drink) with overweight in preschool children.</em></p><p><strong><em>Methods: </em></strong><em>The study used case control design adjusted for age and sex. The research subjects were taken randomly from 53 early childhood schools in the city of Yogyakarta. Subjects were mothers who has preschool children aged 3-5 years. The subjects were divided into 2 groups: cases who have Z score&gt; 2 SD (n = 101) and control have Z score -2 up to 2 SD (n = 101) were adjusted for age and gender. Behaviors of food approach were assessed using CEBQ (Children Eating Behavior Questionnaire). The nutritional status of parents was determined by using BMI (Body Mass Index). Data of birth weight and socioeconomic was obtained by interviews directly to the mother. Data were Analyzed by Mc Nemar and Conditional Logistic Regression.</em></p><p><strong><em>Results:</em></strong><em> There was correlation enjoyment of food with overweight (p &lt; 0.05, OR 4.33, 95% CI: 1.74-12.87). There was no correlation overeating (emotional overeating / food responsiveness) with overweight (p &gt; 0.05, OR 0, 95% CI : 0.02 to 0.00). There was no correlation desire to drink with overweight (p &gt; 0.05, OR 1.5, 95% CI 0.47 to 5.12). Enjoyment of food behavior is accompanied by nutritional status of obese mothers had significant association with overweight (p &lt; 0.05, OR:3.71, 95% CI: 1.12 to 4.05).</em></p><p><strong><em>Conclusions: </em></strong><em>Enjoyment of food behavior was risk factor of overweight in preschool children. Educator in early childhood schools hopefully can give information to parents about prevention and intervention of obesity in preschool children, which associated with food approach and obesity. Future research needs longitudinal studies to better know the causal behavior of food approach to obesity in preschool children.</em></p><p> </p><strong>KEYWORDS</strong>: <em>excessive eating behavior, overweight, preschool children</em>
Застосування кількісної електроенцефалографiї в діапазонах, що відображають нейромедiаторну активність, для оцінки ефективності нейрометаболічної терапії
Authors: Cherniy V.I. , Andronova I.A. , Gorodnik G.A. , Cherniy T.V. 
Published: May 2017

Метою цього дослідження було вивчення нейрометаболічної дії препарату етилметилгiдроксипiридину сукцинату (Армадін) на центральну нервову систему в пацієнтів iз гострою церебральною недостатністю (ГЦН) різного генезу (тяжка черепно-мозкова травма, мозковий інсульт) за допомогою методів кількісної електроенцефалографiї (ЕЕГ). Матерiали i методи. Дизайн дослідження: відкрите проспективне дослідження за типом «випадок — контроль». Сорок хворих (група дослідження) отримували препарат етилметилгiдроксипiридину сукцинату на додаток до стандартного протоколу лікування, 48 пацієнтів iз ГЦН (група порівняння) — терапію за стандартним протоколом. Реєстрацію біопотенціалів мозку здійснювали за допомогою нейрофізіологічного комплексу DX-NT32. Для інтегрального кількісного аналізу ЕЕГ застосовували інтегральний коефіцієнт kfc1: (δ + θ + β1) / (α + β2). Для оцінки нейрогліальної та нейрометаболічної активності визначали показники відносної спектральної потужності у вузьких діапазонах ЕЕГ. Проводили ультразвукове допплерографiчне дослідження екстра- та інтракраніальних судин (апарат DWL EZ-Dop V2.1, Німеччина). Статистичний аналіз даних виконано за допомогою програми MedStat. Результати. Головні позитивні ефекти відновлення внутрішньочерепного кровообігу, що проявлялися зменшенням вазоконстрикції інтракраніальних судин, були зареєстровані після введення препарату в дозі 200 мг. При збільшеннi кількостi введеного препарату етилметилгiдроксипiридину сукцинату до 400 мг включалися нові рівні адаптації за рахунок активації дieнцефальних структур і функціонально пов’язаних з ними структур правої півкулі, де було зафіксовано значущі зміни ЕЕГ-предикторів нейроглiальної та нейромедіаторної (холін-, aдрен-, серотонін- та меншою мірою дофамінергічної) активності. Виснов­ки. Застосування в комплексі терапії ГЦН різного генезу етилметилгiдроксипiридину сукцинату підвищувало шанс на вiдновлення свідомості до 11 і більше балів за шкалою коми Глазго до 7-ї доби лікування. Використання препарату етилметилгiдроксипiридину сукцинату в комплексі терапії при мозковому інсульті та тяжкій черепно-мозковій травмі підвищує можливiсть скорочення термінів перебування у відділенні нейрохірургічної інтенсивної терапії до 8–10 діб.
Депресивні розлади та цереброваскулярна патологія: патофізіологічні передумови взаємоз’язку, особливості клінічного перебігу та лікувальної тактики
Authors: Kopchak O.O. 
Published: May 2017

Стаття присвячена вивченню особливостей депресивних розладів (ДР) у коморбідності з цереброваскулярною патологією. Обговорюється гіпотеза існування та ймовірні діагностичні критерії судинної депресії, що виникає в пацієнтів похилого віку (пізня депресія) з цереброваскулярною патологією. Розглянуто патофізіологічні механізми взаємозв’язку між ДР та судинною патологію головного мозку, серед яких важливу роль відіграє хронічне неспецифічне системне запалення. Наведені клінічні особливості пізньої судинної депресії, а також постінсультної депресії. Описані особливості взаємозв’язку між когнітивними порушеннями (КП) та депресивними розладами в пацієнтів із цереброваскулярною патологією, а також виділені характерні риси КП при судинних ДР. Обговорюється доцільність корекції судинних чинників ризику в комплексному лікуванні ДР при цереброваскулярній патології. Обґрунтовується необхідність раннього призначення антидепресантів у пацієнтів із постінсультною депресією. Висвітлені сучасні підходи до лікування судинних ДР із застосуванням антидепресантів. З огляду на поліфункціональні властивості та особливості механізму дії обґрунтовано безпечність та доцільність застосування тразодону в лікуванні ДР, коморбідних із цереброваскулярною патологією.
Переваги комбінованої терапії метформіном і глімепіридом у хворих на цукровий діабет 2-го типу
Authors: Pankiv V.I. 
Published: May 2017

Використання глімепіриду в терапії цукрового діабету (ЦД) 2-го типу порівняно з іншими препаратами сульфонілсечовини значно менше стимулює підшлункову залозу, зберігаючи тим самим її ресурс, і не призводить до гіперінсулінемії, а також забезпечує найбільш високий профіль безпеки при найменшому стимулюючому впливі на секрецію інсуліну. Мета дослідження: визначення ефективності й безпеки комбінації метформіну й глімепіриду в умовах застосування в повсякденній клінічній практиці в пацієнтів з ЦД 2-го типу з рівнем глікованого гемоглобіну (HbA1c) 8,5–9,5 %. Матеріали і методи. Під спостереженням перебувало 29 хворих на ЦД 2-го типу (середня тривалість ЦД 2-го типу становила 8,7 ± 3,2 року). Хворі перебували в стані декомпенсації ЦД 2-го типу на тлі терапії метформіном і глікла­зидом пролонгованої дії в максимальних дозах упродовж не менше трьох попередніх місяців. Пацієнтам було призначено метформін і глімепірид. Початкова доза для усіх пацієнтів з ЦД 2-го типу становила 2500 мг метформіну і 4 мг глімепіриду. Результати. Через 3 місяці лікування рівень HbA1c вірогідно знизився — з 9,02 ± 0,41 % до 7,53 ± 0,48 % (p < 0,05). Середнє зниження HbA1c після переведення на терапію метформіном з глімепіридом становило 1,49 ± 0,42 %. Ефективність додаткового призначення глімепіриду підтверджується й високим відсотком пацієнтів, які досягли рівня HbA1c < 7,0 %, — 13,8 % (p < 0,05). Рівень глікемії натще знизився в середньому з 10,18 ± 1,32 ммоль/л до 7,02 ± 1,08 ммоль/л через 3 місяці. Середнє зниження досягло 3,07 ± 1,06 ммоль/л, що у відносному вираженні становило –31,2 ± 9,4 % від початкового значення. Рівень постпрандіальної глікемії (ППГ) знизився з 11,80 ± 2,14 ммоль/л на початку до 8,16 ± 1,02 ммоль/л через 3 місяці. Зміни рівня ППГ становили –3,62 ± 1,09 ммоль/л, що у відносному вираженні досягало –30,7 ± 10,2 % від початкового значення. Висновки. З огляду на прогресуючий характер перебігу ЦД 2-го типу глімепірид має переваги перед гліклазидом пролонгованої дії при застосуванні в комбінації з метформіном у цукрознижувальній терапії, особливо в осіб із тривалим перебігом ЦД.