Results for 'Monica Bucciarelli'

(not author) ( search as author name )
1000+ found
Order:
  1.  45
    Strategies in Syllogistic Reasoning.Monica Bucciarelli & P. N. Johnson-Laird - 1999 - Cognitive Science 23 (3):247-303.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  2.  50
    How the construction of mental models improves learning.Monica Bucciarelli - 2007 - Mind and Society 6 (1):67-89.
    In this paper, I present a framework where possible relations between learning and mental models are explored. In particular, I’ll be concerned with non-symbolic gestures accompanying discourse and their role in inducing the construction of models and therefore deep comprehension and learning in the listener. Also, I’ll be concerned with cognitive and socio-cognitive conflicts and their roles in inducing construction of alternative models of a problem and therefore in learning to reason. Human ability to learn is of great importance for (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  37
    Moral dilemmas in females: children are more utilitarian than adults.Monica Bucciarelli - 2015 - Frontiers in Psychology 6:149174.
    Influential theories on moral judgments propose that they rely either on emotions or on innate moral principles. In contrast, the mental model theory postulates that moral judgments rely on reasoning, either intuition or deliberation. The theory allows for the possibility that intuitions lead to utilitarian judgments. This paper reports two experiments involving fifth-grade children, adolescents, and adults; the results revealed that children reason intuitively to resolve moral dilemmas in which action and inaction lead to different outcomes. In particular, the results (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  54
    Reasoning in moral conflicts.Monica Bucciarelli & Margherita Daniele - 2015 - Thinking and Reasoning 21 (3):265-294.
    Following the assumptions of the mental model theory and its account of moral judgements, we argue for a main role of reasoning in moral judgements, especially in dealing with moral conflicts. In four experiments, we invited adult participants to evaluate scenarios describing moral or immoral actions. Our results confirm the predictions deriving from our assumptions: Given a moral or immoral scenario, the manipulation of the propositions which refer to norms and values results in a scenario eliciting a moral conflict ; (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  31
    The role of cognitive and socio-cognitive conflict in learning to reason.Katiuscia Sacco & Monica Bucciarelli - 2007 - Mind and Society 7 (1):1-19.
    The mental model theory claims that the ability to falsify is at the core of human rationality. We assume that cognitive conflicts (CCs) and socio-cognitive conflicts (SCCs) induce falsification, and thus improve syllogistic reasoning performance. Our first study assesses adults’ ability to reason in two different conditions in a single experimental session. In both conditions the participants are presented with conclusions alternative to their own. In the CC condition they are told that these conclusions are casual, in the SCC condition (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  14
    Reasoning strategies in syllogisms: Evidence for performance errors along with computational limitations.Monica Bucciarelli - 2000 - Behavioral and Brain Sciences 23 (5):669-670.
    Stanovich & West interpret errors in syllogistic reasoning in terms of computational limitations. I argue that the variety of strategies used by reasoners in solving syllogisms requires us to consider also performance errors. Although reasoners' performance from one trial to another is quite consistent, it can be different, in line with the definition of performance errors. My argument has methodological implications for reasoning theories.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  29
    Model theory of deduction: a unified computational approach.Bruno G. Bara, Monica Bucciarelli & Vincenzo Lombardo - 2001 - Cognitive Science 25 (6):839-901.
    One of the most debated questions in psychology and cognitive science is the nature and the functioning of the mental processes involved in deductive reasoning. However, all existing theories refer to a specific deductive domain, like syllogistic, propositional or relational reasoning.Our goal is to unify the main types of deductive reasoning into a single set of basic procedures. In particular, we bring together the microtheories developed from a mental models perspective in a single theory, for which we provide a formal (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  8.  25
    The Deep Versus the Shallow: Effects of Co‐Speech Gestures in Learning From Discourse.Ilaria Cutica & Monica Bucciarelli - 2008 - Cognitive Science 32 (5):921-935.
    This study concerned the role of gestures that accompany discourse in deep learning processes. We assumed that co‐speech gestures favor the construction of a complete mental representation of the discourse content, and we tested the predictions that a discourse accompanied by gestures, as compared with a discourse not accompanied by gestures, should result in better recollection of conceptual information, a greater number of discourse‐based inferences drawn from the information explicitly stated in the discourse, and poorer recognition of verbatim of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  13
    Timing of Gestures: Gestures Anticipating or Simultaneous With Speech as Indexes of Text Comprehension in Children and Adults.Francesco Ianì, Ilaria Cutica & Monica Bucciarelli - 2017 - Cognitive Science 41 (S6):1549-1566.
    The deep comprehension of a text is tantamount to the construction of an articulated mental model of that text. The number of correct recollections is an index of a learner's mental model of a text. We assume that another index of comprehension is the timing of the gestures produced during text recall; gestures are simultaneous with speech when the learner has built an articulated mental model of the text, whereas they anticipate the speech when the learner has built a less (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  50
    Determinants of cognitive variability.Sangeet S. Khemlani, N. Y. Louis Lee & Monica Bucciarelli - 2010 - Behavioral and Brain Sciences 33 (2-3):37.
    Henrich et al. address how culture leads to cognitive variability and recommend that researchers be critical about the samples they investigate. However, there are other sources of variability, such as individual strategies in reasoning and the content and context on which processes operate. Because strategy and content drive variability, those factors are of primary interest, while culture is merely incidental.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11. Deduction and induction: Reasoning through mental models. [REVIEW]Bruno G. Bara & Monica Bucciarelli - 2000 - Mind and Society 1 (1):95-107.
    In this paper we deal with two types of reasoning: induction, and deduction First, we present a unified computational model of deductive reasoning through models, where deduction occurs in five phases: Construction, Integration, Conclusion, Falsification, and Response. Second, we make an attempt, to analyze induction through the same phases. Our aim is an explorative evaluation of the mental processes possibly shared by deductive and inductive reasoning.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  7
    Wonder Woman and Patriarchy.Mónica Cano Abadía - 2017-03-29 - In Jacob M. Held (ed.), Wonder Woman and Philosophy. Wiley. pp. 162–170.
    This chapter focuses on the golden era and proposes an exercise of creativity whereby we imagine Diana, the Amazon, becoming Wonder Woman in order to overthrow Man's World. Through Wonder Woman's story, we can build a feminist epic that depicts women who fight patriarchy. In the novel Lesbian Peoples: Material for a Dictionary, Wittig and Zeig describe the Amazons as the warriors thanks to whom we have been able to enter the Golden Age, an age without patriarchy or sex differences. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. I giovani di fronte alla morte: indagine sui loro atteggiamenti attraverso un campione di studenti italiani.Claudio Bucciarelli - 1974 - Zürich: PAS.
     
    Export citation  
     
    Bookmark  
  14. Despre "aparența" și "realitatea" literaturii.Monica Spiridon - 1984 - București: Editura Univers.
     
    Export citation  
     
    Bookmark  
  15. The integrative effects of global legal pluralism.Monica Hakimi - 2020 - In Paul Schiff Berman (ed.), The Oxford handbook of global legal pluralism. New York, NY: Oxford University Press.
     
    Export citation  
     
    Bookmark  
  16. Connoisseurs, Scientists and the Mineral Kingdom.Monica Price & Mike Rumsey - 2023 - In Christina Marie Anderson & Peter Stewart (eds.), Connoisseurship. New York, NY: Oxford University Press.
     
    Export citation  
     
    Bookmark  
  17. Afterword : Ethics as Institutional Process.Monica Heller - 2016 - In Dena Plemmons & Alex W. Barker (eds.), Anthropological ethics in context: an ongoing dialogue. Walnut Creek, California: Left Coast Press.
     
    Export citation  
     
    Bookmark  
  18.  7
    Pay for success projects: benefits and role of social impact bonds.Monica Holt (ed.) - 2016 - New York: Nova Publishers.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  7
    Sri Aurobindo's Vision of Integral Human Development: Designing a Future Discipline of Study.Monica Gupta - 2014 - New Delhi: Imprint: Springer.
    This book explores the integral vision of human development contained in the original works of Sri Aurobindo and The Mother. It delves into multiple layers of the human personality as envisaged by Sri Aurobindo and The Mother and explores a new developmental science of consciousness based on the practice of Integral Yoga. The book examines the major metatheoretical conceptions that shape the contemporary discipline of developmental psychology and discusses the ways in which Sri Aurobindo's philosophical and psychological perspective can help (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  4
    L'uomo intero: la lezione (inascoltata) di Georg Simmel.Monica Martinelli - 2014 - Genova: Il melangolo.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. Moral Decision-Making, Stress, and Social Cognition in Frontline Workers vs. Population Groups During the COVID-19 Pandemic: An Explorative Study.Monica Mazza, Margherita Attanasio, Maria Chiara Pino, Francesco Masedu, Sergio Tiberti, Michela Sarlo & Marco Valenti - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  22.  90
    Do Perceptions of Ethical Conduct Matter During Organizational Change? Ethical Leadership and Employee Involvement.Monica M. Sharif & Terri A. Scandura - 2014 - Journal of Business Ethics 124 (2):185-196.
    Ethical leadership matters in the context of organizational change due to the need for followers to trust the integrity of their leaders. Yet, there have been no studies investigating ethical leadership and organizational change. To fill this gap, we introduce a model of the moderating role of involvement in change. Organizational change and involvement in change are proposed as context-level moderators in the relationships of ethical leadership and work-related attitudes and performance. We employ a sample of 199 supervisor–subordinate pairs from (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  23.  30
    Culture: Copying, Compression, and Conventionality.Mónica Tamariz & Simon Kirby - 2015 - Cognitive Science 39 (1):171-183.
    Through cultural transmission, repeated learning by new individuals transforms cultural information, which tends to become increasingly compressible . Existing diffusion chain studies include in their design two processes that could be responsible for this tendency: learning and reproducing . This paper manipulates the presence of learning in a simple iterated drawing design experiment. We find that learning seems to be the causal factor behind the increase in compressibility observed in the transmitted information, while reproducing is a source of random heritable (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  24.  6
    The anthropology of morality: a dynamic and interactionist approach.Monica Heintz - 2021 - New York, NY: Routledge.
    Why, when and where are some moral systems supported and followed whilst others are condemned? Are moral values relative or universal? Can immoral actions be tolerated in times of crisis? Is the dream of becoming better sufficient for prompting virtuous behavior, or should we dream about what is best? Do moral values last? The divergence in practices and codes of moral belief and action present significant challenges but also offer opportunities to anthropologists for understanding social life. In this book, (...) Heintz explores these questions, drawing on case studies from Eastern Europe that encompass migration, religion, economic and social policies and paying particular attention to the way morality works in communities undergoing rapid social change. She uses these examples to reflect on the wider question of societal conflict and change, showing how they are driven by moral values. By highlighting the centrality of such values as engines for action and questioning the limits of universal moral values, she argues that anthropology has the capacity to shed light on the study of morality and moral values generally. The Anthropology of Morality: A Dynamic and Interactionist Approach will be of interest to students and researchers in anthropology, as well as those in politics and sociology with an interest in European politics. (shrink)
    Direct download  
     
    Export citation  
     
    Bookmark  
  25. Overturning Soul-Body Dualism in Plato's Timaeus.Monica Vilhauer - 2022 - In Jessica Elbert Decker, Danielle A. Layne & Monica Vilhauer (eds.), Otherwise than the binary: new feminist readings in ancient philosophy and culture. Albany: SUNY Press. pp. 185-210.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. The "Telenovela".Monica Rector & Aluizio Ramos Trinta - 1981 - Diogenes 29 (113-114):194-204.
    What is a telenovela? Its literal meaning is “a novel transmitted by televison.” This implies a means of transmission—the television—and a form of discourse—the novel. The telenovela.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. Humanism and gender.Monica R. Miller - 2021 - In Anthony B. Pinn (ed.), The Oxford handbook of humanism. New York, NY: Oxford University Press.
     
    Export citation  
     
    Bookmark  
  28.  4
    Engineering philosophy.Louis L. Bucciarelli - 2003 - Delft, The Netherlands: DUP Satellite.
    In Engineering Philosophy, the author explores how the concerns of philosophers are relevant to engineering thought and practice in negotiating tradeoffs in diagnosing failure, in constructing adequate models and simulations, and in teaching.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  29.  34
    Deciding when a life is not worth living: An_ _imperative to measure what matters.Monica E. Lemmon - 2020 - Journal of Medical Ethics 46 (1):18-19.
    As a neonatal neurologist, I serve families facing tragic decisions in which they must balance trade-offs between death and life with profound disability. I often find myself in complex discussions about future outcome, in which families sort through in real-time what information they value most in making such a choice. Will he laugh? Will he be in pain? Will he know how much he’s loved? In this month’s feature article, Brick et al share the results of an online survey aimed (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  30.  27
    Folk theories of algorithmic recommendations on Spotify: Enacting data assemblages in the global South.Mónica Sancho, Ricardo Solís, Andrés Segura-Castillo & Ignacio Siles - 2020 - Big Data and Society 7 (1).
    This paper examines folk theories of algorithmic recommendations on Spotify in order to make visible the cultural specificities of data assemblages in the global South. The study was conducted in Costa Rica and draws on triangulated data from 30 interviews, 4 focus groups with 22 users, and the study of “rich pictures” made by individuals to graphically represent their understanding of algorithmic recommendations. We found two main folk theories: one that personifies Spotify and another one that envisions it as a (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  31.  30
    The Ethics of Blockchain in Organizations.Monica M. Sharif & Farshad Ghodoosi - 2022 - Journal of Business Ethics 178 (4):1009-1025.
    Blockchain is an open digital ledger technology that has the capability of significantly altering the way that people operations operate in organizations. This research takes a first step in proposing several ways in which the blockchain technology can be used to improve current organizational practices, while also considering the ethical implications. Specifically, the paper examines the role that blockchain technology plays in three primary areas of people operations: entry to the organization, intraorganizational processes, and exit. In each section, the paper (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  38
    The Interactive Origin of Iconicity.Mónica Tamariz, Seán G. Roberts, J. Isidro Martínez & Julio Santiago - 2018 - Cognitive Science 42 (1):334-349.
    We investigate the emergence of iconicity, specifically a bouba-kiki effect in miniature artificial languages under different functional constraints: when the languages are reproduced and when they are used communicatively. We ran transmission chains of participant dyads who played an interactive communicative game and individual participants who played a matched learning game. An analysis of the languages over six generations in an iterated learning experiment revealed that in the Communication condition, but not in the Reproduction condition, words for spiky shapes tend (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  33. Academic Freedom in Colombian Universities: a first attempt to complicate things.Monica Almanza & Santiago Amaya - 2023 - Osun Global Observatory for Academic Freedom.
    This text, commissioned by the OSUN Global Observatory of Academic Freedom, discusses how the concept of academic freedom is codified in Colombian Law and regulations of public and private higher education institutions. It also explores common conceptions of academic freedom among Colombian scholars, as well as commonly observed threats to it.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  25
    Neural Correlates of Verbal Working Memory: An fMRI Meta-Analysis.Mónica Emch, Claudia C. von Bastian & Kathrin Koch - 2019 - Frontiers in Human Neuroscience 13.
  35.  16
    Growing pains: Small-scale farmer responses to an urban rooftop farming and online marketplace enterprise in Montréal, Canada.Monica Allaby, Graham K. MacDonald & Sarah Turner - 2020 - Agriculture and Human Values 38 (3):677-692.
    There is growing interest in the role of new urban agriculture models to increase local food production capacity in cities of the Global North. Urban rooftop greenhouses and hydroponics are examples of such models receiving increasing attention as a technological approach to year-round local food production in cities. Yet, little research has addressed the unintended consequences of new modes of urban farming and food distribution, such as increased competition with existing peri-urban and rural farmers. We examine how small-scale farmers perceive (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  30
    Humanizing intensive care: A scoping review.Monica Evelyn Kvande, Sanne Angel & Anne Højager Nielsen - 2022 - Nursing Ethics 29 (2):498-510.
    Significant scientific and technological advances in intensive care have been made. However, patients in the intensive care unit may experience discomfort, loss of control, and surreal experiences. This has generated relevant debates about how to humanize the intensive care units and whether humanization is necessary at all. This paper aimed to explore how humanizing intensive care is described in the literature. A scoping review was performed. Studies published between 01.01.1999 and 02.03.2020 were identified in the CINAHL, Embase, PubMed, and Scopus (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  31
    Should rare diseases get special treatment?Monica Magalhaes - 2022 - Journal of Medical Ethics 48 (2):86-92.
    Orphan drug policy often gives ‘special treatment’ to rare diseases, by giving additional priority or making exceptions to specific drugs, based on the rarity of the conditions they aim to treat. This essay argues that the goal of orphan drug policy should be to make prevalence irrelevant to funding decisions. It aims to demonstrate that it is severity, not prevalence, which drives our judgments that important claims are being overlooked when treatments for severe rare diseases are not funded. It shows (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38.  36
    Gratitude: Prompting behaviours that build relationships.Monica Y. Bartlett, Paul Condon, Jourdan Cruz, Jolie Baumann & David Desteno - 2012 - Cognition and Emotion 26 (1):2-13.
  39.  13
    On phase semantics and denotational semantics in multiplicative–additive linear logic.Antonio Bucciarelli & Thomas Ehrhard - 2000 - Annals of Pure and Applied Logic 102 (3):247-282.
    We study the notion of logical relation in the coherence space semantics of multiplicative-additive linear logic . We show that, when the ground-type logical relation is “closed under restrictions”, the logical relation associated to any type can be seen as a map associating facts of a phase space to families of points of the web of the corresponding coherence space. We introduce a sequent calculus extension of whose formulae denote these families of points. This logic admits a truth-value semantics in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  40.  45
    Erratum to “Categoricity in abstract elementary classes with no maximal models” [Ann. Pure Appl. Logic 141 (2006) 108–147].Monica M. VanDieren - 2013 - Annals of Pure and Applied Logic 164 (2):131-133.
    In the paper “Categoricity in abstract elementary classes with no maximal models”, we address gaps in Saharon Shelah and Andrés Villavecesʼ proof in [4] of the uniqueness of limit models of cardinality μ in λ-categorical abstract elementary classes with no maximal models, where λ is some cardinal larger than μ. Both [4] and [5] employ set theoretic assumptions, namely GCH and Φμ+μ+).Recently, Tapani Hyttinen pointed out a problem in an early draft of [3] to Villaveces. This problem stems from the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  41.  20
    Arrow’s impossibility theorem as a special case of Nash equilibrium: a cognitive approach to the theory of collective decision-making.Andrea Oliva & Edgardo Bucciarelli - 2020 - Mind and Society 19 (1):15-41.
    Metalogic is an open-ended cognitive, formal methodology pertaining to semantics and information processing. The language that mathematizes metalogic is known as metalanguage and deals with metafunctions purely by extension on patterns. A metalogical process involves an effective enrichment in knowledge as logical statements, and, since human cognition is an inherently logic–based representation of knowledge, a metalogical process will always be aimed at developing the scope of cognition by exploring possible cognitive implications reflected on successive levels of abstraction. Indeed, it is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. Self-consciousness and the body.Monica Meijsing - 2000 - Journal of Consciousness Studies 7 (6):34-50.
    Traditionally, what we are conscious of in self-consciousness is something non-corporeal. But anti-Cartesian philosophers argue that the self is as much corporeal as it is mental. Because we have the sense of proprioception, a kind of body awareness, we are immediately aware of ourselves as bodies in physical space. In this debate the case histories of patients who have lost their sense of proprioception are clearly relevant. These patients do retain an awareness of themselves as corporeal beings, although they hardly (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  43.  18
    Categoricity in abstract elementary classes with no maximal models.Monica VanDieren - 2006 - Annals of Pure and Applied Logic 141 (1):108-147.
    The results in this paper are in a context of abstract elementary classes identified by Shelah and Villaveces in which the amalgamation property is not assumed. The long-term goal is to solve Shelah’s Categoricity Conjecture in this context. Here we tackle a problem of Shelah and Villaveces by proving that in their context, the uniqueness of limit models follows from categoricity under the assumption that the subclass of amalgamation bases is closed under unions of bounded, -increasing chains.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  44.  12
    Cognitive and pragmatic factors in language production: Evidence from source-goal motion events.Monica L. Do, Anna Papafragou & John Trueswell - 2020 - Cognition 205 (C):104447.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  45. Persistence of EEG Alpha Entrainment Depends on Stimulus Phase at Offset.Mónica Otero, Pavel Prado-Gutiérrez, Alejandro Weinstein, María-José Escobar & Wael El-Deredy - 2020 - Frontiers in Human Neuroscience 14.
  46.  14
    Reclaiming Representation: Contemporary Advances in the Theory of Political Representation.Mónica Brito Vieira - 2017 - Routledge.
    Representation is integral to the functioning and legitimacy of modern government. Yet political theorists have often been reluctant to engage directly with questions of representation, and empirical political scientists have closed down such questions by making representation synonymous with congruence. Conceptually unproblematic and normatively inert for some, representation has been deemed impossible to pin down analytically and to defend normatively by others. But this is changing. Political theorists are now turning to political representation as a subject worthy of theoretical investigation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  47.  22
    Superstability and symmetry.Monica M. VanDieren - 2016 - Annals of Pure and Applied Logic 167 (12):1171-1183.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  48.  35
    The Nature of Silence and Its Democratic Possibilities.Mónica Brito Vieira, Theo Jung, Sean W. D. Gray & Toby Rollo - 2019 - Contemporary Political Theory 18 (3):424-447.
  49.  23
    On phase semantics and denotational semantics: the exponentials.Antonio Bucciarelli & Thomas Ehrhard - 2001 - Annals of Pure and Applied Logic 109 (3):205-241.
    We extend to the exponential connectives of linear logic the study initiated in Bucciarelli and Ehrhard 247). We define an indexed version of propositional linear logic and provide a sequent calculus for this system. To a formula A of indexed linear logic, we associate an underlying formula of linear logic, and a family A of elements of , the interpretation of in the category of sets and relations. Then A is provable in indexed linear logic iff the family A (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  37
    Ethical and social challenges with developing automated methods to detect and warn potential victims of mass-marketing fraud.Monica T. Whitty, Michael Edwards, M. Levi, C. Peersman, A. Rashid, A. Sasse, Tom Sorell & G. Stringhini - unknown
    Mass-marketing frauds are on the increase. Given the amount of monies lost and the psychological impact of MMFs there is an urgent need to develop new and effective methods to prevent more of these crimes. This paper reports the early planning of automated methods our interdisciplinary team are developing to prevent and detect MMF. Importantly, the paper presents the ethical and social constraints involved in such a model and suggests concerns others might also consider when developing automated systems.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000