Temat: amalgamation - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: On interpolation in NEXT(KB.Alt(2))
Autorzy:: Kostrzycka, Zofia
Tematy:: symmetric Kripke frames
interpolation
amalgamation; Pokaż więcej
Data publikacji:: 2018
Powiązania:: https://bibliotekanauki.pl/articles/749976.pdf Link otwiera się w nowym oknie
Źródło:: Bulletin of the Section of Logic; 2018, 47, 3
0138-0680
2449-836X
Pojawia się w:: Bulletin of the Section of Logic
Opis:: We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 2.

Tytuł:: The Thickness of Amalgamations and Cartesian Product of Graphs
Autorzy:: Yang, Yan
Chen, Yichao
Tematy:: thickness
amalgamation
Cartesian product
genus; Pokaż więcej
Data publikacji:: 2017-08-01
Powiązania:: https://bibliotekanauki.pl/articles/31341728.pdf Link otwiera się w nowym oknie
Źródło:: Discussiones Mathematicae Graph Theory; 2017, 37, 3; 561-572
2083-5892
Pojawia się w:: Discussiones Mathematicae Graph Theory
Opis:: The thickness of a graph is the minimum number of planar spanning subgraphs into which the graph can be decomposed. It is a measurement of the closeness to the planarity of a graph, and it also has important applications to VLSI design, but it has been known for only few graphs. We obtain the thickness of vertex-amalgamation and bar-amalgamation of graphs, the lower and upper bounds for the thickness of edge-amalgamation and 2-vertex-amalgamation of graphs, respectively. We also study the thickness of Cartesian product of graphs, and by using operations on graphs, we derive the thickness of the Cartesian product Kn □ Pm for most values of m and n.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 3.

Tytuł:: The Modelwise Interpolation Property of Semantic Logics
Autorzy:: Gyenis, Zalán
Molnár, Zalán
Öztürk, Övge
Tematy:: interpolation
algebraic logic
amalgamation
superamalgamation; Pokaż więcej
Data publikacji:: 2023
Powiązania:: https://bibliotekanauki.pl/articles/43179744.pdf Link otwiera się w nowym oknie
Źródło:: Bulletin of the Section of Logic; 2023, 52, 1; 59-83
0138-0680
2449-836X
Pojawia się w:: Bulletin of the Section of Logic
Opis:: In this paper we introduce the modelwise interpolation property of a logic that states that whenever $\models\phi\to\psi$ holds for two formulas $\phi$ and $\psi$, then for every model $\mathfrak{M}$ there is an interpolant formula $\chi$ formulated in the intersection of the vocabularies of $\phi$ and $\psi$, such that $\mathfrak{M}\models\phi\to\chi$ and $\mathfrak{M}\models\chi\to\psi$, that is, the interpolant formula in Craig interpolation may vary from model to model. We compare the modelwise interpolation property with the standard Craig interpolation and with the local interpolation property by discussing examples, most notably the finite variable fragments of first order logic, and difference logic. As an application we connect the modelwise interpolation property with the local Beth definability, and we prove that the modelwise interpolation property of an algebraizable logic can be characterized by a weak form of the superamalgamation property of the class of algebras corresponding to the models of the logic.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 4.

Tytuł:: Territorial fragmentation in post-communist Romania: the not so curious case of a de-amalgamation reform
Autorzy:: Stănuș, Cristina
Tematy:: Territorial reforms
de-amalgamation
local government
Romania; Pokaż więcej
Data publikacji:: 2021
Powiązania:: https://bibliotekanauki.pl/articles/1069051.pdf Link otwiera się w nowym oknie
Źródło:: Miscellanea Geographica. Regional Studies on Development; 2021, 25, 1; 62-70
0867-6046
2084-6118
Pojawia się w:: Miscellanea Geographica. Regional Studies on Development
Opis:: The efficiency-driven trend towards amalgamation characterising local government reforms in Europe seems to have escaped Romania, which displays a significant increase in the number of local governments post- 1989. This is the result of rural first-tier local governments splitting into smaller units. The paper examines objective factors and subjective motivations that have shaped the behaviour of both national and local actors in dealing with territorial reform. First, it explores the rationale and rationality of a central government initiative to facilitate municipal splits against a set of criteria derived from the literature. Second, it examines the municipal splits occurring between 1991 and 2018 against alternative or concurring explanations developed in the literature based on economic, socio-cultural and political elements. The paper argues that in the highly charged political context of the post-communist countries it is reasonable to expect a dominance of subjective rather than objective factors in decision-making on territorial reform.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 5.

Tytuł:: On local antimagic total labeling of complete graphs amalgamation
Autorzy:: Lau, Gee-Choon
Shiu, Wai-Chee
Tematy:: local antimagic (total) chromatic number
amalgamation
complete graph; Pokaż więcej
Data publikacji:: 2023
Powiązania:: https://bibliotekanauki.pl/articles/29519348.pdf Link otwiera się w nowym oknie
Źródło:: Opuscula Mathematica; 2023, 43, 3; 429-453
1232-9274
2300-6919
Pojawia się w:: Opuscula Mathematica
Opis:: Let G = (V,E) be a connected simple graph of order p and size q. A graph G is called local antimagic (total) if G admits a local antimagic (total) labeling. A bijection g : E → {1, 2, . . . , q} is called a local antimagic labeling of G if for any two adjacent vertices u and v, we have $ g^+ (u) \ne g^+ (v) $, where $ g^+ (u) = \Sigma_{e∈E(u)} \text{ } g(e) $, and E(u) is the set of edges incident to u. Similarly, a bijection f : V (G)∪E(G) → {1, 2, . . . , p+q} is called a local antimagic total labeling of G if for any two adjacent vertices u and v, we have $ w_f (u) \ne w_f (v) $, where $ w_f (u) = f(u) + \Sigma_{e∈E(u)} f(e) $. Thus, any local antimagic (total) labeling induces a proper vertex coloring of G if vertex v is assigned the color $g^+ (v) $ (respectively, $ w_f (u) $). The local antimagic (total) chromatic number, denoted $χ_\text{la } (G) $ (respectively $χ_\text{lat } (G) $ ), is the minimum number of induced colors taken over local antimagic (total) labeling of G. In this paper, we determined $ χ_\text{lat } (G) $ where G is the amalgamation of complete graphs. Consequently, we also obtained the local antimagic (total) chromatic number of the disjoint union of complete graphs, and the join of $ K_1 $ and amalgamation of complete graphs under various conditions. An application of local antimagic total chromatic number is also given.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 6.

Tytuł:: Reshaping local borders in Europe today. A critical reflection founded on an analysis of the case of Finland
Autorzy:: Xavier, Albacete
Joan, Tort
Tematy:: Amalgamation
local reform
Finnish local administration
local policy; Pokaż więcej
Data publikacji:: 2017-04-10
Powiązania:: https://bibliotekanauki.pl/articles/2046850.pdf Link otwiera się w nowym oknie
Źródło:: Miscellanea Geographica. Regional Studies on Development; 2017, 21, 1; 19-24
0867-6046
2084-6118
Pojawia się w:: Miscellanea Geographica. Regional Studies on Development
Opis:: In Europe, the amalgamation of local authorities is currently used to optimize public resources. Although amalgamation involves several advantages, it needs to fulfil three conditions to be considered successful. First, address local preferences and needs; second, be fair, transparent and accessible to citizens; and third, be a compromise between central and local political elites. In the current paper the fulfilling of these three conditions is analysed using the comprehensive, bottom-up, Finnish reform introduced during the period of 2008-2013. The findings conclude that while the Finnish local reform plan has been successful in reaching a compromise between local and central governments, it has failed insofar as it has not fulfilled the condition of making the process fair, transparent and accessible to citizens. Furthermore, whether the amalgamation has allowed local government to address citizens' preferences and needs in a meaningful and responsive way has yet to be demonstrated.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 7.

Tytuł:: Enclisis, mesoclisis and inflection in Italo-Romance varieties: A minimalist analysis
Autorzy:: Savoia, Leonardo M.
Baldi, Benedetta
Tematy:: object clitics
inflection
enclisis
mesoclisis
morpho-syntax
amalgamation; Pokaż więcej
Data publikacji:: 2023
Powiązania:: https://bibliotekanauki.pl/articles/40228933.pdf Link otwiera się w nowym oknie
Źródło:: Linguistics Beyond and Within; 2023, 9; 172-196
2450-5188
Pojawia się w:: Linguistics Beyond and Within
Opis:: This contribution addresses a central theme in morphological analysis, namely the relationship between clitics and inflectional elements. Important contributions on the point are due to Anderson (1992) and Marantz (1988), who, in different ways, connect clitics and affixes. We will propose a solution based on the idea that clitics are part of the inflectional arrangement of the verbal head. Specifically, we will investigate two types of data coming from some Romance varieties in which enclisis and mesoclisis phenomena interact with word formation. These phenomena affect the expression of the Internal Argument and lead us to rethink the analysis of enclisis and mesoclisis in terms of the ability of the inflected verb to realize Phasal domains. In other words, morphology is part of the syntactic computation, and morphemic elements, endowed with interpretable content, are introduced by the operation of Merge.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 8.

Tytuł:: The strong 3-rainbow index of some certain graphs and its amalgamation
Autorzy:: Awanis, Zata Yumni
Salman, A.N.M.
Tematy:: amalgamation
rainbow coloring
rainbow Steiner tree
strong k-rainbow index; Pokaż więcej
Data publikacji:: 2022
Powiązania:: https://bibliotekanauki.pl/articles/2216176.pdf Link otwiera się w nowym oknie
Źródło:: Opuscula Mathematica; 2022, 42, 4; 527-547
1232-9274
2300-6919
Pojawia się w:: Opuscula Mathematica
Opis:: We introduce a strong k-rainbow index of graphs as modification of well-known k-rainbow index of graphs. A tree in an edge-colored connected graph G, where adjacent edge may be colored the same, is a rainbow tree if all of its edges have distinct colors. Let k be an integer with 2 ≤ k ≤ n. The strong k-rainbow index of G, denoted by $srx_k(G)$, is the minimum number of colors needed in an edge-coloring of G so that every k vertices of G is connected by a rainbow tree with minimum size. We focus on k = 3. We determine the strong 3-rainbow index of some certain graphs. We also provide a sharp upper bound for the strong 3-rainbow index of amalgamation of graphs. Additionally, we determine the exact values of the strong 3-rainbow index of amalgamation of some graphs.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 9.

Tytuł:: Niezwykłe rozszerzenie granic miasta. Przypadek Zielonej Góry w kontekście zjawiska jazdy na gapę
Unusual extension of the city limits. The case of Zielona Góra in the context of the phenomenon of free riding on the common pool
Autorzy:: Swianiewicz, Paweł
Szmigiel-Rawska, Katarzyna
Tematy:: reforma terytorialna
samorząd lokalny
łączenie gmin
territorial reform
local government
municipal amalgamation; Pokaż więcej
Data publikacji:: 2019
Powiązania:: https://bibliotekanauki.pl/articles/980447.pdf Link otwiera się w nowym oknie
Źródło:: Studia Regionalne i Lokalne; 2019, 4(78); 54-74
1509-4995
Pojawia się w:: Studia Regionalne i Lokalne
Opis:: Celem badań przedstawionych w artykule była ocena skutków połączenia miasta na prawach powiatu Zielona Góra z gminą wiejską o tej samej nazwie w 2015 roku w kontekście funkcjonowania demokracji lokalnej. A także weryfikacja zjawiska jazdy na gapę z wykorzystaniem wspólnych zasobów w kontekście reformy terytorialnej. Analiza, oparta na quasi-eksperymentalnym schemacie z wykorzystaniem metody synthetic control, nie potwierdziła hipotezy jazdy na gapę z wykorzystaniem wspólnych zasobów, co jest wynikiem odróżniającym to badanie od wcześniej prowadzonych. Wyniki naszego badania wskazują również, że zastosowana w Zielonej Górze strategia może być skuteczna w osiągnięciu pośredniego celu politycznego, jakim było zapewnienie przychylności mieszkańców dla prowadzonej reformy i wysoka legitymizacja jej rezultatów.
The purpose of the research presented in the article is to assess the effects of the 2015 amalgamation of the Zielona Góra city with the rural commune of the same name on the quality of local democracy. The second goal is to examine the phenomenon of free riding on the common pool in the context of the local-level territorial reform. The analysis, based on a quasi-experimental scheme using the synthetic control method, unlike previous studies, did not confirm the free riding hypothesis. The results of the study also indicate that the strategy implemented in Zielona Góra can be useful in achieving an intermediate political goal, which is to ensure the residents’ approval of the reform and legitimization of its results.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 10.

Tytuł:: Interpolation in Normal Extensions of the Brouwer Logic
Autorzy:: Kostrzycka, Zofia
Tematy:: normal extensions of the Brouwer logics
Kripke frames
interpolation property
amalgamation property; Pokaż więcej
Data publikacji:: 2016
Powiązania:: https://bibliotekanauki.pl/articles/749908.pdf Link otwiera się w nowym oknie
Źródło:: Bulletin of the Section of Logic; 2016, 45, 3/4
0138-0680
2449-836X
Pojawia się w:: Bulletin of the Section of Logic
Opis:: The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Informacja

Wyszukujesz frazę "amalgamation" wg kryterium: Temat