Results for 'Rohan Borschmann'

80 found
Order:
  1.  12
    The Experiences of Detained Mental Health Service Users: Issues of Dignity in Care.Mary Chambers, Ann Gallagher, Rohan Borschmann, Steve Gillard, Kati Turner & Xenya Kantaris - 2014 - BMC Medical Ethics 15 (1):50.
    When mental health service users are detained under a Section of the Mental Health Act (MHA), they must remain in hospital for a specific time period. This is often against their will, as they are considered a danger to themselves and/or others. By virtue of being detained, service users are assumed to have lost control of an element of their behaviour and as a result their dignity could be compromised. Caring for detained service users has particular challenges for healthcare professionals. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  14
    Adolescent Hippocampal and Prefrontal Brain Activation During Performance of the Virtual Morris Water Task.Jennifer T. Sneider, Julia E. Cohen-Gilbert, Derek A. Hamilton, Elena R. Stein, Noa Golan, Emily N. Oot, Anna M. Seraikas, Michael L. Rohan, Sion K. Harris, Lisa D. Nickerson & Marisa M. Silveri - 2018 - Frontiers in Human Neuroscience 12.
  3.  21
    College Binge Drinking Associated with Decreased Frontal Activation to Negative Emotional Distractors During Inhibitory Control.Julia E. Cohen-Gilbert, Lisa D. Nickerson, Jennifer T. Sneider, Emily N. Oot, Anna M. Seraikas, Michael L. Rohan & Marisa M. Silveri - 2017 - Frontiers in Psychology 8.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  17
    Re-Situating and Re-Mediating the Canons: A Cultural-Historical Remapping of Rhetorical Activity.Paul Prior, Janine Solberg, Patrick Berry, Hannah Bellwoar, Bill Chewning, K. J. Lunsford, Liz Rohan, Kevin Roozen, Mary Sheridan-Rabideau & Jody Shipka - manuscript
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  13
    Effects of Consent Form Information on Self-Disclosure.Sandra T. Sigmon, Kelly J. Rohan, Diana Dorhofer, Lisa A. Hotovy, Peter C. Trask & Nina Boulard - 1997 - Ethics and Behavior 7 (4):299 – 310.
    When researchers encounter preexisting psychological distress in participants, ethical codes provide little guidance on how to balance issues of beneficence and autonomy. Although researchers may inform participants what will occur given responses indicating distress, this information may lead to biased self-reports. This important issue was addressed in this study by manipulating consent form information regarding the type of psychopathology to be assessed and various levels of possible follow-up. In comparing responses on self-report measures of anxiety, depression, and general psychological distress, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  10
    Gaston de Rohan. Un évêque de Strasbourg dans la question janseniste (1713-1718).Claude Muller - 2010 - Revue des Sciences Religieuses 84 (1):61-72.
    Prince-évêque de Strasbourg de 1704 à 1749, Gaston de Rohan devient en 1713, par la volonté de Louis XIV, grand aumônier de la Cour, un an après avoir été promu au cardinalat. Dès lors, le prélat se voit investi de la mission de mettre fin à la querelle jansé- niste. Il s’y emploie avec efficacité dans son diocèse, mais ne peut résoudre la crise à l’échelle nationale.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  12
    David Roffe and K. S. B. Keats-Rohan, Eds., Domesday Now: New Approaches to the Inquest and the Book. Woodbridge, UK, and Rochester, NY: Boydell Press, 2016. Pp. Xiv, 338; 20 Black-and-White Figures and 20 Tables. $99. ISBN: 978-1-78327-088-0. [REVIEW]Henry Fairbairn - 2017 - Speculum 92 (4):1239-1240.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  17
    Ioannes Saresberiensis, Policraticus, I–IV, ed. KSB Keats-Rohan.(Corpus Christianorum, Continuatio Mediaeualis, 118.) Turnhout: Brepols, 1993. Paper. Pp. lvi, 275; 1 diagram.G. R. Evans - 1995 - Speculum 70 (3):635-636.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  1
    The Domain of Constant Excess: Plural Worship at the Munnesvaram Temples in Sri Lanka by Rohan Bastin.Andrew P. Tuck - 2019 - Common Knowledge 25 (1-3):463-464.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  15
    John Borneman. Syrian Episodes: Sons, Fathers, and an Anthropologist in Aleppo (Princeton, NJ: Princeton University Press, 2007), Xxix+ 236 Pp. $27.95/£ 17.95 Cloth. Amine Bouchentouf. Commodities for Dummies (Hoboken, NJ: Wiley Publishing, 2007), Xx+ 360 Pp.£ 16.99 Paper. Kelly Boyd and Rohan McWilliam. The Victorian Studies Reader (London: Routledge. [REVIEW]Mireia Aragay, Hildegard Klein, Enric Monforte & Pilar Zozaya - 2008 - The European Legacy 13 (3):397-399.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  10
    Madame de Rohan, auteur de comédies-ballets?Marcel Paquot - 1929 - Revue Belge de Philologie Et D’Histoire 8 (3):801-829.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  16
    Two Models for the "Heures de Rohan".J. Porcher - 1945 - Journal of the Warburg and Courtauld Institutes 8:1-6.
  13.  42
    Stirrings of the Preferential Option for the Poor at Vatican II: The Work of the 'Group of the Church of the Poor'.Rohan Curnow - 2012 - The Australasian Catholic Record 89 (4):420.
    Curnow, Rohan This article is concerned with the beginning of the trajectory of thought that links two events: Vatican II and the emergence of an explicit doctrine of the Preferential Option for the Poor in the official documents of the Latin American Episcopal Conference's (CELAM) meetings at Puebla, Mexico in 1968, and Medell n, Columbia in 1979. Specifically, this article concentrates on a group that formed early in proceedings at Vatican II, known as both the 'Group of the Church (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. Williamson on Counterpossibles.Berto Francesco, David Ripley, Graham Priest & Rohan French - 2018 - Journal of Philosophical Logic 47 (4):693-713.
    A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  15.  52
    Structural Reflexivity and the Paradoxes of Self-Reference.Rohan French - 2016 - Ergo: An Open Access Journal of Philosophy 3.
  16. Contractions of Noncontractive Consequence Relations.Rohan French & David Ripley - 2015 - Review of Symbolic Logic 8 (3):506-528.
    Some theorists have developed formal approaches to truth that depend on counterexamples to the structural rules of contraction. Here, we study such approaches, with an eye to helping them respond to a certain kind of objection. We define a contractive relative of each noncontractive relation, for use in responding to the objection in question, and we explore one example: the contractive relative of multiplicative-additive affine logic with transparent truth, or MAALT. -/- .
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  17.  16
    How Do Rituals Affect Cooperation?Ronald Fischer, Rohan Callander, Paul Reddish & Joseph Bulbulia - 2013 - Human Nature 24 (2):115-125.
    Collective rituals have long puzzled anthropologists, yet little is known about how rituals affect participants. Our study investigated the effects of nine naturally occurring rituals on prosociality. We operationalized prosociality as (1) attitudes about fellow ritual participants and (2) decisions in a public goods game. The nine rituals varied in levels of synchrony and levels of sacred attribution. We found that rituals with synchronous body movements were more likely to enhance prosocial attitudes. We also found that rituals judged to be (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  18.  17
    A Simple Sequent Calculus for Angell’s Logic of Analytic Containment.Rohan French - 2017 - Studia Logica 105 (5):971-994.
    We give a simple sequent calculus presentation of R.B. Angell’s logic of analytic containment, recently championed by Kit Fine as a plausible logic of partial content.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  58
    Notational Variance and Its Variants.Rohan French - 2019 - Topoi 38 (2):321-331.
    What does it take for two logics to be mere notational variants? The present paper proposes a variety of different ways of cashing out notational variance, in particular isolating a constraint on any reasonable account of notational variance which makes plausible that the only kinds of translations which can witness notational variance are what are sometimes called definitional translations.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  80
    A Forward Looking Decision Rule for Imprecise Credences.Rohan Sud - 2014 - Philosophical Studies 167 (1):119-139.
    Adam Elga (Philosophers’ Imprint, 10(5), 1–11, 2010) presents a diachronic puzzle to supporters of imprecise credences and argues that no acceptable decision rule for imprecise credences can deliver the intuitively correct result. Elga concludes that agents should not hold imprecise credences. In this paper, I argue for a two-part thesis. First, I show that Elga’s argument is incomplete: there is an acceptable decision rule that delivers the intuitive result. Next, I repair the argument by offering a more elaborate diachronic puzzle (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  21.  48
    A Counterexample to Three Imprecise Decision Theories.Seamus Bradley - 2019 - Theoria 85 (1):18-30.
    There is currently much discussion about how decision making should proceed when an agent's degrees of belief are imprecise; represented by a set of probability functions. I show that decision rules recently discussed by Sarah Moss, Susanna Rinard and Rohan Sud all suffer from the same defect: they all struggle to rationalize diachronic ambiguity aversion. Since ambiguity aversion is among the motivations for imprecise credence, this suggests that the search for an adequate imprecise decision rule is not yet over.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  40
    Moral Vagueness as Semantic Vagueness.Rohan Sud - 2019 - Ethics 129 (4):684-705.
    Does moral vagueness require ontic vagueness? A central challenge for nonontic treatments of moral vagueness arises from the referential stability of moral terms across small changes in how they are applied: if moral vagueness is not ontic vagueness, it’s hard to explain this referential stability. Pointing to this challenge, Miriam Schoenfield has argued that moral vagueness is ontic vagueness, at least for a moral realist. I disagree. I argue that a moral realist can use a conceptual role semantics for moral (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  23
    Paradoxes and Structural Rules From a Dialogical Perspective.Catarina Dutilh Novaes & Rohan French - 2018 - Philosophical Issues 28 (1):129-158.
  24.  11
    Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.
    This paper considers some issues to do with valuational presentations of consequence relations, and the Galois connections between spaces of valuations and spaces of consequence relations. Some of what we present is known, and some even well-known; but much is new. The aim is a systematic overview of a range of results applicable to nonreflexive and nontransitive logics, as well as more familiar logics. We conclude by considering some connectives suggested by this approach.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  34
    Plurivaluationism, Supersententialism and the Problem of the Many Languages.Rohan Sud - forthcoming - Synthese:1-27.
    According to the plurivaluationist, our vague discourse doesn’t have a single meaning. Instead, it has many meanings, each of which is precise—and it is this plurality of meanings that is the source of vagueness. I believe plurivaluationist positions are underdeveloped and for this reason unpopular. This paper attempts to correct this situation by offering a particular development of plurivaluationism that I call supersententialism. The supersententialist leverages lessons from another area of research—the Problem of the Many—in service of the plurivaluationist position. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  18
    Introduction: On the Imperative, Challenges, and Prospects of Decolonizing Comparative Methodologies.Amy K. Donahue & Rohan Kalyan - 2015 - Comparative and Continental Philosophy 7 (2):124-137.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  48
    Expressive Power, Mood, and Actuality.Rohan French - 2013 - Synthese 190 (9):1689-1699.
    In Wehmeier (J Philos Log 33:607–630, 2004) we are presented with the subjunctive modal language, a way of dealing with the expressive inadequacy of modal logic by marking atomic predicates as being either in the subjunctive or indicative mood. Wehmeier claims that this language is expressively equivalent to the standard actuality language, and that despite this the marked-unmarked dichotomies are not the same in the two languages. In this paper we will attend to Wehmeier’s argument that this is the case, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  18
    Adopting the Ritual Stance: The Role of Opacity and Context in Ritual and Everyday Actions.Rohan Kapitány & Mark Nielsen - 2015 - Cognition 145:13-29.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  5
    Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.
    This paper considers some issues to do with valuational presentations of consequence relations, and the Galois connections between spaces of valuations and spaces of consequence relations. Some of what we present is known, and some even well-known; but much is new. The aim is a systematic overview of a range of results applicable to nonreflexive and nontransitive logics, as well as more familiar logics. We conclude by considering some connectives suggested by this approach.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  12
    A Dialogical Route to Logical Pluralism.Rohan French - forthcoming - Synthese:1-21.
    This paper argues that adopting a particular dialogical account of logical consequence quite directly gives rise to an interesting form of logical pluralism, the form of pluralism in question arising out of the requirement that deductive proofs be explanatory.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  43
    Vague Naturalness as Ersatz Metaphysical Vagueness.Rohan Sud - 2018 - Oxford Studies in Metaphysics 11:243–277.
  32.  22
    Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants.Rohan French - 2012 - Notre Dame Journal of Formal Logic 53 (4):549-556.
    We show that there are denumerably many Post-complete normal modal logics in the language which includes an additional propositional constant. This contrasts with the case when there is no such constant present, for which it is well known that there are only two such logics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33.  37
    Fixing the Game? Legitimacy, Morality Policy and Research in Gambling.Rohan Miller & Grant Michelson - 2013 - Journal of Business Ethics 116 (3):601-614.
    It is a truism that some industries are controversial either because the processes employed or the resulting products, for instance, can potentially harm the well-being of people. The controversy that surrounds certain industries can sharply polarise public opinion and debate. In this article, we employ legitimacy theory and morality policy to show how one industry sector (the electronic gaming machine sector as part of the wider gambling industry) is subject to this reaction. We suggest that the difficulty in establishing legitimacy (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  6
    Two Traditions in Abstract Valuational Model Theory.Rohan French & David Ripley - forthcoming - Synthese:1-23.
    We investigate two different broad traditions in the abstract valuational model theory for nontransitive and nonreflexive logics. The first of these traditions makes heavy use of the natural Galois connection between sets of valuations and sets of arguments. The other, originating with work by Grzegorz Malinowski on nonreflexive logics, and best systematized in Blasio et al. : 233–262, 2017), lets sets of arguments determine a more restricted set of valuations. After giving a systematic discussion of these two different traditions in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  45
    The World-Time Parallel: Tense and Modality in Logic and Metaphysics, by by A. A. Rini and M. J. Cresswell: Cambridge: Cambridge University Press, 2012, Pp. Xvii + 260, AUD$125. [REVIEW]Rohan French - 2014 - Australasian Journal of Philosophy 92 (4):802-805.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  36.  10
    Greater Widespread Functional Connectivity of the Caudate in Older Adults Who Practice Kripalu Yoga and Vipassana Meditation Than in Controls.Tim Gard, Maxime Taquet, Rohan Dixit, Britta K. Hã¶Lzel, Bradford C. Dickerson & Sara W. Lazar - 2015 - Frontiers in Human Neuroscience 9.
  37.  13
    In the Mood for S4: The Expressive Power of the Subjunctive Modal Language in Weak Background Logics.Rohan French - 2015 - Studia Logica 103 (2):239-263.
    Our concern here is with the extent to which the expressive equivalence of Wehmeier’s Subjunctive Modal Language and the Actuality Modal Language is sensitive to the choice of background modal logic. In particular we will show that, when we are enriching quantified modal logics weaker than S5, AML is strictly expressively stronger than SML, this result following from general considerations regarding the relationship between operators and predicate markers. This would seem to complicate arguments given in favour of SML which rely (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  37
    Partial Confirmation of a Conjecture on the Boxdot Translation in Modal Logic.Rohan French & Lloyd Humberstone - 2009 - Australasian Journal of Logic 7:56-61.
    The purpose of the present note is to advertise an interesting conjecture concerning a well-known translation in modal logic, by confirming a (highly restricted) special case of the conjecture.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  39.  12
    Ritualized Objects: How We Perceive and Respond to Causally Opaque and Goal Demoted Action.Rohan Kapitány & Mark Nielsen - 2019 - Journal of Cognition and Culture 19 (1-2):170-194.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  2
    Unsupervised and supervised text similarity systems for automated identification of national implementing measures of European directives.Rohan Nanda, Giovanni Siragusa, Luigi Di Caro, Guido Boella, Lorenzo Grossio, Marco Gerbaudo & Francesco Costamagna - 2019 - Artificial Intelligence and Law 27 (2):199-225.
    The automated identification of national implementations of European directives by text similarity techniques has shown promising preliminary results. Previous works have proposed and utilized unsupervised lexical and semantic similarity techniques based on vector space models, latent semantic analysis and topic models. However, these techniques were evaluated on a small multilingual corpus of directives and NIMs. In this paper, we utilize word and paragraph embedding models learned by shallow neural networks from a multilingual legal corpus of European directives and national legislation (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. Martha Nussbaum and the Moral Life of Middlemarch.Rohan Amanda Maitzen - 2006 - Philosophy and Literature 30 (1):190-207.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  60
    An Argument Against General Validity?Rohan French - 2012 - Thought: A Journal of Philosophy 1 (1):4-9.
    This paper argues that a prominent—and oft-thought to be persuasive—argument against general validity as the best account of validity for languages containing the actuality operator is flawed, the flaw arising out of inadequate attention to the formalisation of mood distinctions.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  31
    Minimally Congruential Contexts: Observations and Questions on Embedding E in K.Lloyd Humberstone - 2012 - Notre Dame Journal of Formal Logic 53 (4):581-598.
    Recently, an improvement in respect of simplicity was found by Rohan French over extant translations faithfully embedding the smallest congruential modal logic (E) in the smallest normal modal logic (K). After some preliminaries, we explore the possibility of further simplifying the translation, with various negative findings (but no positive solution). This line of inquiry leads, via a consideration of one candidate simpler translation whose status was left open earlier, to isolating the concept of a minimally congruential context. This amounts, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  19
    The Best Laid Schemes of Mice and Me.Randall G. McCutcheon - manuscript
    Adam Elga has argued that holders of imprecise credences fall prey to missed arbitrages, so that rational credences should be sharp. A decision rule proposed by Rohan Sud, Forward Looking, enables imprecise Bayesians to sidestep missed arbitrages and other ``bad books'' in isolated fixed-evidence binary betting sequences such as those of Elga. We show that Forward Looking imprecise Bayesians are committed to a bad book of bets when faced with a particular 3-bet variable-evidence binary betting sequence.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  54
    An Argument for the Ontological Innocence of Mereology.Rohan French - 2016 - Erkenntnis 81 (4):683-704.
    In Parts of Classes David Lewis argued that mereology is ‘ontologically innocent’, mereological notions not incurring additional ontological commitments. Unfortunately, though, Lewis’s argument for this is not fully spelled out. Here we use some formal results concerning translations between formal languages to argue for the ontological innocence of mereology directly.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  46.  12
    Unsupervised and supervised text similarity systems for automated identification of national implementing measures of European directives.Rohan Nanda, Giovanni Siragusa, Luigi Di Caro, Guido Boella, Lorenzo Grossio, Marco Gerbaudo & Francesco Costamagna - 2019 - Artificial Intelligence and Law 27 (2):199-225.
    The automated identification of national implementations of European directives by text similarity techniques has shown promising preliminary results. Previous works have proposed and utilized unsupervised lexical and semantic similarity techniques based on vector space models, latent semantic analysis and topic models. However, these techniques were evaluated on a small multilingual corpus of directives and NIMs. In this paper, we utilize word and paragraph embedding models learned by shallow neural networks from a multilingual legal corpus of European directives and national legislation (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  12
    Comparative Studies on Ancient Greece and China - Lloyd, Zhao Ancient Greece and China Compared. In Collaboration with Qiaosheng Dong. Pp. XVI + 430, Figs, Ills, Map. Cambridge: Cambridge University Press, 2018. Cased, £90, Us$120. Isbn: 978-1-107-08666-1. [REVIEW]Rohan Sikri - 2019 - The Classical Review 69 (1):298-301.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  45
    Extending Life for People with a Terminal Illness: A Moral Right and an Expensive Death? Exploring Societal Perspectives.Neil McHugh, Rachel M. Baker, Helen Mason, Laura Williamson, Job van Exel, Rohan Deogaonkar, Marissa Collins & Cam Donaldson - 2015 - BMC Medical Ethics 16 (1):14.
    Many publicly-funded health systems apply cost-benefit frameworks in response to the moral dilemma of how best to allocate scarce healthcare resources. However, implementation of recommendations based on costs and benefit calculations and subsequent challenges have led to ‘special cases’ with certain types of health benefits considered more valuable than others. Recent debate and research has focused on the relative value of life extensions for people with terminal illnesses. This research investigates societal perspectives in relation to this issue, in the UK.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  49.  6
    Human Sensory LTP Predicts Memory Performance and Is Modulated by the BDNF Val66Met Polymorphism.Meg J. Spriggs, Chris S. Thompson, David Moreau, Nicolas A. McNair, C. Carolyn Wu, Yvette N. Lamb, Nicole S. McKay, Rohan O. C. King, Ushtana Antia, Andrew N. Shelling, Jeff P. Hamm, Timothy J. Teyler, Bruce R. Russell, Karen E. Waldie & Ian J. Kirk - 2019 - Frontiers in Human Neuroscience 13.
  50.  27
    A Sequent Calculus for Urn Logic.Rohan French - 2015 - Journal of Logic, Language and Information 24 (2):131-147.
    Approximately speaking, an urn model for first-order logic is a model where the domain of quantification changes depending on the values of variables which have been bound by quantifiers previously. In this paper we introduce a model-changing semantics for urn-models, and then give a sequent calculus for urn logic by introducing formulas which can be read as saying that “after the individuals a1,..., an have been drawn, A is the case”.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 80