8,077 research outputs found
The relational model is injective for Multiplicative Exponential Linear Logic
We prove a completeness result for Multiplicative Exponential Linear Logic
(MELL): we show that the relational model is injective for MELL proof-nets,
i.e. the equality between MELL proof-nets in the relational model is exactly
axiomatized by cut-elimination.Comment: 33 page
Taylor expansion in linear logic is invertible
Each Multiplicative Exponential Linear Logic (MELL) proof-net can be expanded
into a differential net, which is its Taylor expansion. We prove that two
different MELL proof-nets have two different Taylor expansions. As a corollary,
we prove a completeness result for MELL: We show that the relational model is
injective for MELL proof-nets, i.e. the equality between MELL proof-nets in the
relational model is exactly axiomatized by cut-elimination
Patterns of competition and strategic groups in the special cheese industry in Brazil
The aim of this study is to identify the competition pattern in the Brazilian special cheese industry, and the strategic groups of this market. Based mainly on the Industrial Organization Theory, a qualitative study was conducted, supported by primary and secondary data. The primary data were obtained through interviews with six managers of Brazilian special cheese companies, and the secondary data were obtained from websites, company documents and specialized publications. The results point to the increasing importance of the price variable, related to market growth in recent years, which attracted companies with more effective production and logistics structures. Based on the characteristics and strategies of companies, four strategic groups were identified: a) medium sized companies with large market penetration; b) small companies focused on the special cheese market and located in traditional production regions of Minas Gerais State; c) single-product companies, with high levels of vertical integration; and d) transnational companies that produce special cheese in several countries.Fine cheese, industrial organization, strategic groups, Agribusiness, Agricultural Finance, Industrial Organization,
A semantic account of strong normalization in Linear Logic
We prove that given two cut free nets of linear logic, by means of their
relational interpretations one can: 1) first determine whether or not the net
obtained by cutting the two nets is strongly normalizable 2) then (in case it
is strongly normalizable) compute the maximal length of the reduction sequences
starting from that net.Comment: 41 page
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings)
We show that for Multiplicative Exponential Linear Logic (without weakenings)
the syntactical equivalence relation on proofs induced by cut-elimination
coincides with the semantic equivalence relation on proofs induced by the
multiset based relational model: one says that the interpretation in the model
(or the semantics) is injective. We actually prove a stronger result: two
cut-free proofs of the full multiplicative and exponential fragment of linear
logic whose interpretations coincide in the multiset based relational model are
the same "up to the connections between the doors of exponential boxes".Comment: 36 page
O Estudo da osteotomia valgizante proximal de tíbia com placa "calço" de puddu.
Trabalho de Conclusão de Curso - Universidade Federal de Santa Catarina, Centro de Ciências da Saúde, Departamento de Clínica Cirúrgica, Curso de Medicina, Florianópolis, 200
Redes Interorganizacionais Horizontais Vistas como Sistemas Adaptativos Complexos Coevolutivos: o Caso de uma Rede de Supermercados
This paper seeks to understand the phenomenon of horizontal interorganizational networks (HINs). For this purpose, the framework of complex adaptive systems (CASs) and coevolution was used, both approaches based on the Complexity Theory. The objective is to identify basic features of a complex adaptive system, present in a horizontal interorganizational network of supermarkets in southern Minas Gerais. A qualitative case study was carried out on the retail purchase network, referred to in this study as the Ômega Network. It was found that this network is a system formed by the coevolutive process of its agents, whose basic objective is to promote their competitiveness. This process has resulted in increased operational effectiveness of the agents and learning, which results in collective and individual innovations. The results also indicate the presence of elements of self-organization in the Omega Network. The research results have implications for the understanding of competitiveness within the networks and the importance of learning and innovation in its development. The work also paves the way for new studies of networks as organizational evolving systems
- …