Linear logic, introduced by Girard, is a refinement of classical logic with a natural, intrinsic accounting of resources. This accounting is made possible by removing the ‘structural’ rules of contraction and weakening, adding a modal operator and adding finer versions of the propositional connectives. Linear logic has fundamental logical interest and applications to computer science, particularly to Petri nets, concurrency, storage allocation, garbage collection and the control structure of logic programs. In addition, there is a direct correspondence between polynomial-time computation (...) and proof normalization in a bounded form of linear logic. In this paper we show that unlike most other propositional logics, full propositional linear logic is undecidable. Further, we prove that without the modal storage operator, which indicates unboundedness of resources, the decision problem becomes PSPACE-complete. We also establish membership in NP for the multiplicative fragment, NP-completeness for the multiplicative fragment extended with unrestricted weakening, and undecidability for fragments of noncommutative propositional linear logic. (shrink)
Color conveys critical information about the flavor of food and drink by providing clues as to edibility, flavor identity, and flavor intensity. Despite the fact that more than 100 published papers have investigated the influence of color on flavor perception in humans, surprisingly little research has considered how cognitive and contextual constraints may mediate color–flavor interactions. In this review, we argue that the discrepancies demonstrated in previously-published color–flavor studies may, at least in part, reflect differences in the sensory expectations that (...) different people generate as a result of their prior associative experiences. We propose that color–flavor interactions in flavor perception cannot be understood solely in terms of the principles of multisensory integration but that the role of higher-level cognitive factors, such as expectations, must also be considered. (shrink)
An embedding of the implicational propositional intuitionistic logic into the nonmodal fragment of intuitionistic linear logic is given. The embedding preserves cut-free proofs in a proof system that is a variant of IIL. The embedding is efficient and provides an alternative proof of the PSPACE-hardness of IMALL. It exploits several proof-theoretic properties of intuitionistic implication that analyze the use of resources in IIL proofs.
The National Center for Biomedical Ontology is a consortium that comprises leading informaticians, biologists, clinicians, and ontologists, funded by the National Institutes of Health (NIH) Roadmap, to develop innovative technology and methods that allow scientists to record, manage, and disseminate biomedical information and knowledge in machine-processable form. The goals of the Center are (1) to help unify the divergent and isolated efforts in ontology development by promoting high quality open-source, standards-based tools to create, manage, and use ontologies, (2) to create (...) new software tools so that scientists can use ontologies to annotate and analyze biomedical data, (3) to provide a national resource for the ongoing evaluation, integration, and evolution of biomedical ontologies and associated tools and theories in the context of driving biomedical projects. (shrink)
Computational models of semantic memory exploit information about co-occurrences of words in naturally occurring text to extract information about the meaning of the words that are present in the language. Such models implicitly specify a representation of temporal context. Depending on the model, words are said to have occurred in the same context if they are presented within a moving window, within the same sentence, or within the same document. The temporal context model (TCM), which specifies a particular definition of (...) temporal context, has proved useful in the study of episodic memory. The predictive temporal context model (pTCM) uses the same definition of temporal context to generate semantic memory representations. Taken together pTCM and TCM may prove to be part of a general model of declarative memory. (shrink)
Within the limited, but growing, literature on small business ethics almost no attention has been paid to the issue of social responsibility within ethnic minority businesses. Using a social capital perspective, this paper reports on an exploratory and qualitative investigation into the attitudinal and behavioural manifestations of CSR within small and medium-sized Asian owned or managed firms in the U.K., with particular reference to the distinctive factors motivating organisational responses. It offers alternative explanations of entrepreneurial behaviour and suggests areas for (...) further research. (shrink)
What drives organisations to engage in socially responsible purchasing initiatives? To investigate this important question, this article uses a case-study approach to examine the context within which supplier diversity programmes have emerged in both the U.S. and U.K. The analysis identifies legislative and policy developments, economic imperatives, stakeholder pressures and ethical influences as forces shaping organisational responses. It reveals important contextual differences between U.K. and U.S. experience and offers an empirical and theoretical explanation of corporate behaviour.
This article argues why and how a participatory approach to implement corporate social responsibility (CSR) in a cluster would be beneficial for small-and medium-sized enterprises (SMEs) who are members of the NCE -Subsea cluster in Bergen, Norway. The political and strategic reasons as well as internal motivation for SMEs to incorporate CSR into their business strategies are discussed with support from relevant literature. Furthermore, we offer a discussion on the characteristics of different approaches to incorporating CSR as part of business (...) strategy and provide examples from the Norwegian context. As part of this discussion, we look into some of the clusters in Europe which have adopted a systematic approach to implement CSR as part of their agenda. We propose a means to undertake CSR as part of the cluster through a network model to address the limitations faced by the SMEs when they try to implement CSR individually. A network model (cluster approach) to CSR will motivate the uptake of CSR among SMEs when the network (cluster) is characterized by close geographical proximity and operates in the same sector. The uptake of CSR as part of the network (cluster) agenda can also lead to innovation through cooperation and competition. The particular challenges faced by the SMEs in implementing and sustaining CSR can be also minimized by being part of a network (cluster). (shrink)
A time operator, which incorporates the idea of time as a dynamical variable, was first introduced in the context of a theory of irreversible evolution. The existence of a time operator has interesting implications in several areas of physics. Here we demonstrate a close link between the existence of the time operator for relativistic particles and the existence of an indivisible time interval or chronons for dynamical evolution. More explicitly, we consider a Klein-Gordon particle and require the existence of a (...) time operator for its evolution. We also make a natural choice of the form of the time operator which expresses it in terms of the generators of the Poincaré group. These then imply that the physical time evolution group must be the discrete subgroup Unτ (n integers) of the originally given evolution group Ut of the Klein-Gordon particle and the constant τ is given by τ=h/2mc2. This means that the requirement of the existence of a time operator implies that the time evolution cannot be followed to time intervals smaller than τ and, as such, τ emerges as a chronon for the dynamical evolution. Expecting that the same results hold for a Dirac particle also, we conclude that the so-called Zitterbewegungdoes not occur in reality. Thus, possible confirmation of the existence of chronons would result if no observableconsequence of Zitterbewegungis actually realized in nature. This calls for a search of observable consequences of the Zitterbewegungand a re-examination of their agreement (if any) with experiments. A possible consequence of Zitterbewegung,the so-called Darwin term present in the Dirac Hamiltonian in an electric field, is briefly considered. (shrink)
Zionist national identity in Israel is today challenged by two mutuallyantagonistic alternatives: a liberal, secular, Post-Zionist civic identity, on the one hand, and ethnic, religious, Neo-Zionist nationalistic identity, on the other. The other, Zionist, hegemony contains an unsolvable tension between the national and the democratic facets of the state. The Post-Zionist trend seeks a relief of this tension by bracketing the nationalcharacter of the state, i.e., by separation of state and cultural community/ies; the Neo-Zionist trend seeks a relief of the (...) same tension by bracketing the democratic nature of the state, i.e., by consolidating the Jewish ethno-national character of the state. The focus of the study is upon two dimensions of this unfolding cultural-political strife: the conflicting perceptions of time and space, and the ways they affect the perceptions of the boundaries of the collectivity, either in an inclusionary manner (the ``post'') or in an exclusionary manner (the ``neo''). (shrink)
Mill is commonly dismissed as being hostile to multiculturalism. A review of some existing interpretations and an exploration of some overlooked aspects of his thought shows this to be a mistake. He is alleged to devalue lives not dedicated to the pursuit of individual autonomy: in fact he is a liberal communitarian. Other, legitimate, critiques point to his cultural imperialism. Many allege, mistakenly, that he is a proponent of national homogeneity. Yet Mill remains largely misunderstood with regard to multiculturalism. His (...) focus on individual self-perfection is a strong aid, not impediment, to a distinctly liberal multiculturalism, because inherently value pluralist. His scepticism about the power of human cognition precludes dogmatism about primary personal values. His alleged support of national homogeneity demonstrates an acknowledgement of individuals’ particularistic attachments without supporting nationalist parochialism. By doing justice both to individuals’ instinct of particularity and their potential for cosmopolitanism, it fosters rather than undermines liberal multiculturalism. (shrink)
In Canada, laws and policies consistently reject the commodification of human organs and tissues, and Canadian practice is consistent with international standards in this regard. Until the Assisted Human Reproduction Act of 2004, gamete donation in Canada was an exception: Canadians could pay and be paid open market rates for gametes for use in in vitro fertilization. As sections of the AHR Act forbidding payment for gametes and permitting only reimbursement of receipted expenses gradually came into effect in 2005, Canada (...) did away with this anomaly. Medical practice and legal prohibitions in assisted human reproduction are now consistent with other areas of medicine where tissues and organs are taken from one person to benefit others: Altruistic donation, rather than selling and buying, will be the norm. (shrink)
How realistic is it to adopt a quantum random walk model to account for decisions involving two choices? Here, we discuss the neural plausibility and the effect of initial state and boundary thresholds on such a model and contrast it with various features of the classical random walk model of decision making.
Corporate Governance (CG) issues have driven organisations to set their house right. There is a continual effort by organisations to build on a good framework of policies, not only as an undertaking enforced by a regulatory body, but also to sustain and win. However, these organisations are facing a dilemma in terms of their focus priority. Is it the composition of the board or is it the employee as the stakeholder that has high determining power to reach their goals. The (...) aim of this article is to build upon a structure of enablers of good governance. The paper utilises the Interpretive Structural Modelling (ISM) methodology to understand the mutual influence among the various enablers in such a fashion that the enablers having high driving power and dependency power can be identified. (shrink)
This is precisely the reason why Vijnanabhiksu took up cudgels against the advocated of Maya and expounded a system in which the world has been accepted as a real transformation of Prakrti, the power of the Absolute, and which thus has no ...
The automatic verification of large parts of mathematics has been an aim of many mathematicians from Leibniz to Hilbert. While Gödel's first incompleteness theorem showed that no computer program could automatically prove certain true theorems in mathematics, the advent of electronic computers and sophisticated software means in practice there are many quite effective systems for automated reasoning that can be used for checking mathematical proofs. This book describes the use of a computer program to check the proofs of several celebrated (...) theorems in metamathematics including those of Gödel and Church-Rosser. The computer verification using the Boyer-Moore theorem prover yields precise and rigorous proofs of these difficult theorems. It also demonstrates the range and power of automated proof checking technology. The mechanization of metamathematics itself has important implications for automated reasoning, because metatheorems can be applied as labor-saving devices to simplify proof construction. (shrink)
Del Giudice proposes that short-term mating strategies are adaptive for attachment-avoidant men. We argue that this model (1) does not apply to the majority of avoidant men (fearful-avoidants); (2) is based on limited evidence that the remaining subset of avoidant men (dismissing-avoidants) engage in short-term mating strategies; and (3) disregards the importance of pair bonding even for dismissing-avoidants.
The behavior of Lyapunov exponents λ and dynamical entropies h, whose positivity characterizes chaotic motion, under Lorentz and Rindler transformations is studied. Under Lorentz transformations, λ and h are changed, but their positivity is preserved for chaotic systems. Under Rindler transformations, λ and h are changed in such a way..
We develop a timeout extension of propositional linear temporal logic to specify timing properties of timeout-based models of real-time systems. A timeout is used to model the execution of an action marking the end of a delay. With a view to expressing such timeout constraints, ToLTL uses a dynamic variable to abstract the timeout behaviour in addition to a variable which captures the global clock and some static timing variables which record time instances when discrete events occur. We propose a (...) corresponding timeout tableau for satisfiability checking of the ToLTL formulas. Further we prove that the validity checking for such an extended logic remains PSPACE-complete. Under discrete time semantics, with bounded timeout increments, the model-checking problem which verifies if a ToLTL-formula holds in a timeout Kripke structure is also shown to be PSPACE complete. We further prove that ToLTL, when interpreted over discrete time, can be embedded in the monadic second-order logic with.. (shrink)
This article describes the UniversAAL platform, an open platform intended to facilitate the development, distribution, and deployment of technological solutions for Ambient assisted living. The platform is intended to benefit end users, authorities with responsibility for AAL, and organizations involved in the development and deployment of AAL services. It consists of an extensive set of resources aimed at these different groups. The resources are classified into three main groups: runtime support, development support, and community support. The article presents the benefits (...) that can be expected from the widespread adoption of the platform. The article also describes progress on prototype implementations of some of the software resources, and the results of initial evaluations of the platform. The work is partially based on results from earlier European Union-funded research projects in the area. (shrink)