111 found
Order:
Disambiguations
Peter Scott [29]P. Anne Scott [27]Philip J. Scott [11]Philip Scott [9]
P. J. Scott [9]P. A. Scott [8]Peter Manley Scott [5]P. Scott [4]

Not all matches are shown. Search with initial or firstname to single out others.

  1. Moral injury in healthcare professionals: A scoping review and discussion.Anto Čartolovni, Minna Stolt, P. Anne Scott & Riitta Suhonen - 2021 - Nursing Ethics 28 (5):590-602.
    Moral injury emerged in the healthcare discussion quite recently because of the difficulties and challenges healthcare workers and healthcare systems face in the context of the COVID-19 pandemic. Moral injury involves a deep emotional wound and is unique to those who bear witness to intense human suffering and cruelty. This article aims to synthesise the very limited evidence from empirical studies on moral injury and to discuss a better understanding of the concept of moral injury, its importance in the healthcare (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  2.  67
    Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
  3.  90
    Resource allocation and rationing in nursing care: A discussion paper.P. Anne Scott, Clare Harvey, Heike Felzmann, Riitta Suhonen, Monika Habermann, Kristin Halvorsen, Karin Christiansen, Luisa Toffoli & Evridiki Papastavrou - 2019 - Nursing Ethics 26 (5):1528-1539.
    Driven by interests in workforce planning and patient safety, a growing body of literature has begun to identify the reality and the prevalence of missed nursing care, also specified as care left undone, rationed care or unfinished care. Empirical studies and conceptual considerations have focused on structural issues such as staffing, as well as on outcome issues – missed care/unfinished care. Philosophical and ethical aspects of unfinished care are largely unexplored. Thus, while internationally studies highlight instances of covert rationing/missed care/care (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  42
    Emotion, moral perception, and nursing practice.P. Anne Scott - 2000 - Nursing Philosophy 1 (2):123-133.
    Many of the activities of clinical practice happen to, with or upon vulnerable human beings. For this reason numerous nursing authors draw attention to or claim a significant moral domain in clinical practice. A number of nursing authors also discuss the emotional involvement and/or emotional labour which is often experienced in clinical practice. In this article I explore the importance of emotion for moral perception and moral agency. I suggest that an aspect of being a good nurse is having an (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  5.  11
    Analysis of graduating nursing students’ moral courage in six European countries.Sanna Koskinen, Elina Pajakoski, Pilar Fuster, Brynja Ingadottir, Eliisa Löyttyniemi, Olivia Numminen, Leena Salminen, P. Anne Scott, Juliane Stubner, Marija Truš, Helena Leino-Kilpi & on Behalf of Procompnurse Consortium - 2021 - Nursing Ethics 28 (4):481-497.
    Background:Moral courage is defined as courage to act according to one’s own ethical values and principles even at the risk of negative consequences for the individual. In a complex nursing practice, ethical considerations are integral. Moral courage is needed throughout nurses’ career.Aim:To analyse graduating nursing students’ moral courage and the factors associated with it in six European countries.Research design:A cross-sectional design, using a structured questionnaire, as part of a larger international ProCompNurse study. In the questionnaire, moral courage was assessed with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  13
    Introduction.Helga Nowotny, Peter Scott & Michael Gibbons - 2003 - Minerva 41 (3):179-194.
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  7.  11
    Captives of Controversy: The Myth of the Neutral Social Researcher in Contemporary Scientific Controversies.Brian Martin, Evelleen Richards & Pam Scott - 1990 - Science, Technology and Human Values 15 (4):474-494.
    According to both traditional positivist approaches and also to the sociology of scientific knowledge, social analysts should not themselves become involved in the controversies they are investigating. But the experiences of the authors in studying contemporary scientific controversies—specifically, over the Australian Animal Health Laboratory, fluoridation, and vitamin C and cancer—show that analysts, whatever their intentions, cannot avoid being drawn into the fray. The field of controversy studies needs to address the implications of this process for both theory and practice.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  8. Imagination in practice.P. A. Scott - 1997 - Journal of Medical Ethics 23 (1):45-50.
    Current focus in the health care ethics literature on the character of the practitioner has a reputable pedigree. Rather than offer a staple diet of Aristotelian ethics in the undergraduate curricula, perhaps instead one should follow Murdoch's suggestion and help the practitioner to develop vision and moral imagination, because this has a practical rather than a theoretical aim. The imaginative capacity of the practitioner plays an important part in both the quality of the nurse's role enactment and the moral strategies (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  9. The tension between authoritative and dialogic discourse: A fundamental characteristic of meaning making interactions in high school science lessons.Philip H. Scott, Eduardo F. Mortimer & Orlando G. Aguiar - 2006 - Science Education 90 (4):605-631.
    No categories
     
    Export citation  
     
    Bookmark   15 citations  
  10.  15
    Introduction to Higher Order Categorical Logic.Joachim Lambek & Philip J. Scott - 1986 - Cambridge University Press.
    In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher order logic, and cartesian closed categories are essentially the same. In Part II, it is demonstrated that another formulation of higher order logic is closely related to topos theory. Part III is devoted to recursive functions. Numerous applications of the close relationship between traditional logic and the algebraic language (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  11.  14
    Individual and sociocultural views of learning in science education.John Leach & Phil Scott - 2003 - Science & Education 12 (1):91-113.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  12.  52
    Diagnostic self-testing: Autonomous choices and relational responsibilities.Alan J. Kearns, Dónal P. O'mathúna & P. Anne Scott - 2009 - Bioethics 24 (4):199-207.
    Diagnostic self-testing devices are being developed for many illnesses, chronic diseases and infections. These will be used in hospitals, at point-of-care facilities and at home. Designed to allow earlier detection of diseases, self-testing diagnostic devices may improve disease prevention, slow the progression of disease and facilitate better treatment outcomes. These devices have the potential to benefit both the individual and society by enabling individuals to take a more proactive role in the maintenance of their health and by helping society improve (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  13.  21
    Linear Läuchli semantics.R. F. Blute & P. J. Scott - 1996 - Annals of Pure and Applied Logic 77 (2):101-142.
    We introduce a linear analogue of Läuchli's semantics for intuitionistic logic. In fact, our result is a strengthening of Läuchli's work to the level of proofs, rather than provability. This is obtained by considering continuous actions of the additive group of integers on a category of topological vector spaces. The semantics, based on functorial polymorphism, consists of dinatural transformations which are equivariant with respect to all such actions. Such dinatural transformations are called uniform. To any sequent in Multiplicative Linear Logic (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  14.  32
    Perceptions of Autonomy, Privacy and Informed Consent in the Care of Elderly People in Five European Countries: comparison and implications for the future.Helena Leino-Kilpi, Maritta Välimäki, Theo Dassen, Maria Gasull, Chryssoula Lemonidou, P. Anne Scott, Anja Schopp, Marianne Arndt & Anne Kaljonen - 2003 - Nursing Ethics 10 (1):58-66.
    This article discusses nurses’ and elderly patients’ perceptions of the realization of autonomy, privacy and informed consent in five European countries. Comparisons between the concepts and the countries indicated that both nurses and patients gave the highest ratings to privacy and the lowest to informed consent. There were differences between countries. According to the patient data, autonomy is best realized in Spain, privacy in the UK (Scotland), and informed consent in Finland. For the staff data, the best results tended to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  15.  35
    Perceptions of Autonomy in the Care of Elderly People in Five European Countries.P. Anne Scott, Maritta Välimäki, Helena Leino-Kilpi, Theo Dassen, Maria Gasull, Chryssoula Lemonidou, Marianne Arndt, Anja Schopp, Riitta Suhonen & Anne Kaljonen - 2003 - Nursing Ethics 10 (1):28-38.
    The focus of this article is perceptions of elderly patients and nurses regarding patients’ autonomy in nursing practice. Autonomy is empirically defined as having two components: information received/given as a prerequisite and decision making as the action. The results indicated differences between staff and patient perceptions of patient autonomy for both components in all five countries in which this survey was conducted. There were also differences between countries in the perceptions of patients and nurses regarding the frequency with which patients (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  16.  72
    Patient autonomy and choice in healthcare: self-testing devices as a case in point.Anna-Marie Greaney, Dónal P. O’Mathúna & P. Anne Scott - 2012 - Medicine, Health Care and Philosophy 15 (4):383-395.
    This paper aims to critique the phenomenon of advanced patient autonomy and choice in healthcare within the specific context of self-testing devices. A growing number of self-testing medical devices are currently available for home use. The premise underpinning many of these devices is that they assist individuals to be more autonomous in the assessment and management of their health. Increased patient autonomy is assumed to be a good thing. We take issue with this assumption and argue that self-testing provides a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  17.  46
    Category theory for linear logicians.Richard Blute & Philip Scott - 2004 - In Thomas Ehrhard (ed.), Linear logic in computer science. New York: Cambridge University Press. pp. 316--3.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  18.  30
    Perceiving the moral dimension of practice: insights from Murdoch, Vetlesen, and Aristotle.P. Anne Scott - 2006 - Nursing Philosophy 7 (3):137-145.
    This paper situates the moral domain of practice within the context of a particular description of nursing practice – one that sees human interaction at the heart of that practice. Such a description fits not only with professional rhetoric but also with literature from patients and recent empirical work exploring the nature of nursing practice.Martha Levine in her 1977 description of ethics, within the context of nursing practice, indicated that what was important from an ethical perspective was how we interact (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  19.  50
    The need for accurate perception and informed judgement in determining the appropriate use of the nursing resource: hearing the patient's voice.C. A. Niven & P. A. Scott - 2003 - Nursing Philosophy 4 (3):201-210.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  20.  25
    Ethics Education and Nursing Practice.P. Anne Scott - 1996 - Nursing Ethics 3 (1):53-63.
    This paper suggests that a consideration of health care practice is a necessary step in gaining insight into the appropriate composition of an ethics course for students in the health care professional. Health care practice, if it responds to the needs of society, is dynamic in nature. In the current climate of change in the health service, the author sug gests that the nursing profession needs to become more proactive in analysing and attempting to determine the future shape of nursing. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  21.  25
    The ethical implications of the new research paradigm.Peter Scott - 2003 - Science and Engineering Ethics 9 (1):73-84.
    Research is now an increasingly heterogeneous activity involving an expanded range of new actors and stake-holders and employing an eclectic range of epistemologies and methodologies. The emergence of these new research paradigms — and, in particular, of so-called ‘Mode 2’ knowledge production that is highly contextualised and socially distributed — raises new and challenging ethical issues and also important questions about the autonomy of science and the social responsibilities of scientists.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  22.  13
    The ethical implications of the new research paradigm.Professor Peter Scott - 2003 - Science and Engineering Ethics 9 (1):73-84.
    Research is now an increasingly heterogeneous activity involving an expanded range of new actors and stake-holders and employing an eclectic range of epistemologies and methodologies. The emergence of these new research paradigms — and, in particular, of so-called ‘Mode 2’ knowledge production that is highly contextualised and socially distributed — raises new and challenging ethical issues and also important questions about the autonomy of science and the social responsibilities of scientists.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  23.  35
    Perceptions of Privacy in the Care of Elderly People in Five European Countries.Anja Schopp, Helena Leino-Kilpi, Maritta Välimäki, Theo Dassen, Maria Gasull, Chryssoula Lemonidou, P. Anne Scott, Marianne Arndt & Anne Kaljonen - 2003 - Nursing Ethics 10 (1):39-47.
    The focus of this article is on elderly patients’ and nursing staff perceptions of privacy in the care of elderly patients/residents in five European countries. Privacy includes physical, social and informational elements. The results show that perceptions of privacy were strongest in the UK (Scotland) and weakest in Greece. Country comparisons revealed statistically significant differences between the perceptions of elderly patients and also between those of nurses working in the same ward or long-term care facility. Perceptions of privacy by patients (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  24.  50
    Aristotle, Nursing and Health Care Ethics.P. Anne Scott - 1995 - Nursing Ethics 2 (4):279-285.
    Even a brief consideration of the nature of nursing will indicate that an ethical dimension underlies much, if not all, of nursing practice. It is therefore important that students and practitioners are facilitated in developing an ethical awareness and sensitivity from early in their professional development. This paper argues that Aristotelian virtue theory provides a practice-based focus for health care ethics for a number of reasons. Also, because of his emphasis on the character of the moral agent, and on the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  25.  17
    Modes of rationality in nursing documentation: biology, biography and the 'voice of nursing'.Abbey Hyde, Margaret Treacy, P. Anne Scott, Michelle Butler, Jonathan Drennan, Kate Irving, Anne Byrne, Padraig MacNeela & Marian Hanrahan - 2005 - Nursing Inquiry 12 (2):66-77.
    Modes of rationality in nursing documentation: biology, biography, and the ‘voice of nursing’ This article is based on a discourse analysis of the complete nursing records of 45 patients, and concerns the modes of rationality that mediated text‐based accounts relating to patient care that nurses recorded. The analysis draws on the work of the critical theorist, Jürgen Habermas, who conceptualised rationality in the context of modernity according to two types: purposive rationality based on an instrumental logic, and value rationality based (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  26.  33
    Perceptions of Informed Consent in the Care of Elderly People in Five European Countries.Anja Schopp, Maritta Välimäki, Helena Leino-Kilpi, Theo Dassen, Maria Gasull, Chryssoula Lemonidou, P. Anne Scott, Marianne Arndt & Anne Kaljonen - 2003 - Nursing Ethics 10 (1):48-57.
    The focus of this article is on elderly patients’ and nursing staff perceptions of informed consent in the care of elderly patients/residents in five European countries. The results suggest that patients and nurses differ in their views on how informed consent is implemented. Among elderly patients the highest frequency for securing informed consent was reported in Finland; the lowest was in Germany. In contrast, among nurses, the highest frequency was reported in the UK (Scotland) and the lowest in Finland. In (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  27. A Political Theology of Nature.Peter Scott - 2004 - Ars Disputandi 4.
     
    Export citation  
     
    Bookmark   1 citation  
  28.  32
    Perceptions of Autonomy, Privacy and Informed Consent in the Care of Elderly People in Five European Countries: general overview.Helena Leino-Kilpi, Maritta Välimäki, Theo Dassen, Maria Gasull, Chryssoula Lemonidou, Anja Schopp, P. Anne Scott, Marianne Arndt & Anne Kaljonen - 2003 - Nursing Ethics 10 (1):18-27.
    Ethical issues in the care of elderly people have been identified in many countries. We report the findings of a comparative research project funded by the European Commission, which took place between 1998 and 2001. The project explored the issues of autonomy (part I), privacy (part II) and informed consent (part III) in nursing practice. Data were collected from elderly residents/patients (n = 573) and nursing staff (n = 887) in five European countries: Finland, Spain, Greece, Germany and the UK (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  17
    Professional Ethics: are we on the wrong track?P. Anne Scott - 1998 - Nursing Ethics 5 (6):477-485.
    Are we on the wrong track, in terms of our expectations of a code of practice, professional ethics teaching or the wider field of moral philosophy, in our search for clear answers to the ethical problems that arise in clinical practice; or are we simply wrong in believing that there are always clear answers?This article examines a particular case, an account of which appeared in Nursing Standard at the end of 1996. The conclusion reached is that we are likely to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  30.  14
    The „Dialectica”︁ Interpretation and Categories.Philip J. Scott - 1978 - Mathematical Logic Quarterly 24 (31‐36):553-575.
  31.  39
    The „Dialectica”︁ Interpretation and Categories.Philip J. Scott - 1978 - Mathematical Logic Quarterly 24 (31-36):553-575.
  32.  81
    What is nursing in the 21st century and what does the 21st century health system require of nursing?P. Anne Scott, Anne Matthews & Marcia Kirwan - 2014 - Nursing Philosophy 15 (1):23-34.
    It is frequently claimed that nursing is vital to the safe, humane provision of health care and health service to our populations. It is also recognized however, that nursing is a costly health care resource that must be used effectively and efficiently. There is a growing recognition, from within the nursing profession, health care policy makers and society, of the need to analyse the contribution of nursing to health care and its costs. This becomes increasingly pertinent and urgent in a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33. Dawkins and Incurable Mind Viruses? Memes, Rationality and Evolution.Percival Ray Scott - 1994 - Journal of Social and Evolutionary Systems 17 (3):243 - 286.
    Richard Dawkins tries to establish an analogy between computer viruses and theistic belief systems, analyzing the latter in terms of his concept of the meme. The underlying thrust of Dawkins' argument is to downplay the role of truth and logic in the survival of theories and to emphasize humankind's helpless liability to incurable infection by doctrines that Dawkins regards as absurd. Dawkins supplies a list of "symptoms” of mind-infection. However, on closer investigation these characteristics are found to be either rather (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. Learning science in the classroom: Drawing on individual and social perspectives.J. Leach & P. Scott - 2003 - Science & Education 12 (1):91-113.
     
    Export citation  
     
    Bookmark   3 citations  
  35.  9
    Introduction.Paul D. Scott - 1997 - Chinese Studies in History 30 (4):56-70.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36.  44
    The Technological Factor: Redemption, Nature, and the Image of God.Peter Scott - 2000 - Zygon 35 (2):371-384.
    This paper begins from the premise that being in the image of God refers humanity neither to nature nor to its technology but to God. Two positions are thereby rejected: that nature should be treated as a source of salvation , and that redemptive significance may be ascribed to technology . Instead, theological judgments concerning technologyrequire the reconstruction of theological anthropology. To this end, the image of God is reconceived in terms of sociality, temporality, and spatiality to show how humanity (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  37.  42
    The shuffle Hopf algebra and noncommutative full completeness.R. F. Blute & P. J. Scott - 1998 - Journal of Symbolic Logic 63 (4):1413-1436.
    We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic (CyLL). The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free proofs in (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  94
    Discourses on im/migrants, ethnic minorities, and infectious disease: Fifty years of tuberculosis reporting in the United Kingdom.Hella von Unger & Penelope Scott - 2022 - History of the Human Sciences 35 (1):189-215.
    Ethnicity and im/migrant classification systems and their constituent categories have a long history in the construction of public health knowledge on tuberculosis in the United Kingdom. This article critically examines the categories employed and the epidemiological discourses on TB, im/migrants, and ethnic minorities in health reporting between 1965 and 2015. We employ a Sociology of Knowledge Approach to Discourse Analysis to trace the continuities and changes in the categories used and in the discursive construction of im/migrants, ethnic minorities, and TB. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  81
    Intuitionist type theory and foundations.J. Lambek & P. J. Scott - 1981 - Journal of Philosophical Logic 10 (1):101 - 115.
    A version of intuitionistic type theory is presented here in which all logical symbols are defined in terms of equality. This language is used to construct the so-called free topos with natural number object. It is argued that the free topos may be regarded as the universe of mathematics from an intuitionist's point of view.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  4
    Crisis? What Crisis?P. D. Scott - 1997 - In S. O'Nuillain, Paul McKevitt & E. MacAogain (eds.), Two Sciences of Mind. John Benjamins. pp. 9--63.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  20
    The school novels of Dean Farrar.P. G. Scott - 1971 - British Journal of Educational Studies 19 (2):163-182.
  42.  13
    New proofs of some intuitionistic principles.J. Lambek & P. J. Scott - 1983 - Mathematical Logic Quarterly 29 (10):493-504.
  43.  28
    What Makes a Good Nurse: Why the Virtues Are Important for Nurses.P. Anne Scott - 2013 - Nursing Philosophy 14 (1):70-73.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  12
    Introduction.Jouko Väänänen, Fan Yang & Philip Scott - 2022 - Annals of Pure and Applied Logic 173 (10):103168.
  45. Introduction: `Mode 2' Revisited: The New Production of Knowledge. [REVIEW]Helga Nowotny, Peter Scott & Michael Gibbons - 2003 - Minerva 41 (3):179-194.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   43 citations  
  46.  3
    At Home in the Future: Place and Belonging in a Changing Europe.John Rodwell & Peter Scott (eds.) - 2015 - Zurich: Lit Verlag.
    Renegotiations of identities in a 21st century world and a resurgence of older loyalties are calling into question our shared sense of belonging and place. This results in the predicament of how and where to feel at home.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. On the [Pi]-Calculus and Linear Logic.Gianluigi Bellin & P. J. Scott - 1992 - LFCS, Department of Computer Science, University of Edinburgh.
     
    Export citation  
     
    Bookmark   1 citation  
  48.  22
    Religion, materialism and ecology.Sigurd Bergmann, Catherine E. Rigby & Peter Scott (eds.) - 2023 - New York: Routledge, Taylor & Francis Group.
    This timely collection of essays by leading international scholars across religious studies and the environmental humanities advances a lively discussion on materialism in its many forms. While there is little agreement on what 'materialism' means, it is evident that there is a resurgence in thinking about matter in more animated and active ways. The volume explores how debates concerning the new materialisms impinge on religious traditions and the extent to which religions, with their material culture and beliefs in the Divine (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. The Shuffle Hopf Algebra and Noncommutative Full Completeness.R. F. Blute & P. J. Scott - 1998 - Journal of Symbolic Logic 63 (4):1413-1436.
    We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic. The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free proofs in CyLL (...)
     
    Export citation  
     
    Bookmark   1 citation  
  50. Tradition and Interpretation in Matthew.Günther Bornkamm, Gerhard Barth, Heinz Joachim Held & Percy Scott - 1963
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 111