157,250 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,
Socially extending the mind through social affordances
The extended mind thesis claims that at least some cognitive processes extend beyond the organism’s brain in that they are constituted by the organism’s actions on its surrounding environment. A more radical move would be to claim that social actions performed by the organism could at least constitute some of its mental processes. This can be called the socially extended mind thesis. Based on the notion of affordance as developed in the ecological psychology tradition, I defend the position that perception extends to the environment. Then I will expand the notion of affordance to encompass social affordances. Thus, perception can in some situations also be socially extended
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
- …