Results for 'Kai Kamm'

992 found
Order:
  1.  14
    The enigmatic Placozoa part 1: Exploring evolutionary controversies and poor ecological knowledge.Bernd Schierwater, Hans-Jürgen Osigus, Tjard Bergmann, Neil W. Blackstone, Heike Hadrys, Jens Hauslage, Patrick O. Humbert, Kai Kamm, Marc Kvansakul, Kathrin Wysocki & Rob DeSalle - 2021 - Bioessays 43 (10):2100080.
    The placozoan Trichoplax adhaerens is a tiny hairy plate and more simply organized than any other living metazoan. After its original description by F.E. Schulze in 1883, it attracted attention as a potential model for the ancestral state of metazoan organization, the “Urmetazoon”. Trichoplax lacks any kind of symmetry, organs, nerve cells, muscle cells, basal lamina, and extracellular matrix. Furthermore, the placozoan genome is the smallest (not secondarily reduced) genome of all metazoan genomes. It harbors a remarkably rich diversity of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  7
    The enigmatic Placozoa part 2: Exploring evolutionary controversies and promising questions on earth and in space.Bernd Schierwater, Hans-Jürgen Osigus, Tjard Bergmann, Neil W. Blackstone, Heike Hadrys, Jens Hauslage, Patrick O. Humbert, Kai Kamm, Marc Kvansakul, Kathrin Wysocki & Rob DeSalle - 2021 - Bioessays 43 (10):2100083.
    The placozoan Trichoplax adhaerens has been bridging gaps between research disciplines like no other animal. As outlined in part 1, placozoans have been subject of hot evolutionary debates and placozoans have challenged some fundamental evolutionary concepts. Here in part 2 we discuss the exceptional genetics of the phylum Placozoa and point out some challenging model system applications for the best known species, Trichoplax adhaerens.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  45
    Ethics for enemies: terror, torture, and war.F. M. Kamm (ed.) - 2011 - New York: Oxford University Press.
    Ethics for Enemies comprises three original philosophical essays on torture, terrorism, and war. F. M. Kamm deploys ethical theory in her challenging new treatments of these most controversial practical issues. First she considers the nature of torture and the various occasions on which it could occur, in order to determine why it might be wrong to torture a wrongdoer held captive, even if this were necessary to save his victims. In the second essay she considers what makes terrorism wrong--whether (...)
  4. Rights.F. M. Kamm - 2004 - In Jules Coleman & Scott Shapiro (eds.), The Oxford Handbook of Jurisprudence and Philosophy of Law. Oxford University Press.
     
    Export citation  
     
    Bookmark   12 citations  
  5.  25
    Intricate Ethics: Rights, Responsibilities, and Permissible Harm.F. M. Kamm - 2006 - New York, US: Oxford University Press USA.
    In Intricate Ethics, Kamm questions the moral importance of some non-consequentialist distinctions and then introduces and argues for the moral importance of other distinctions. The first section discusses nonconsequentialist ethical theory and the trolley problem; the second deals with the notions of moral status and rights; the third takes up the issues of responsibility and complicity and the possible moral significance of distance; and the fourth section analyzes the views of others in the non-consequentialist and consequentialist camps.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   91 citations  
  6.  4
    Morality, Mortality: Rights, duties, and status.F. M. Kamm - 1993 - Oxford University Press USA.
    This volume continues the examination of issues of life and death which F.M. Kamm began in 'Morality, Mortality, ' Volume I (1993). Kamm continues her development of a non-consequentialist ethical theory and its application to practical ethical problems.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   37 citations  
  7. Rights.Frances M. Kamm - 2002 - In Jules Coleman & Scott J. Shapiro (eds.), The Oxford Handbook of Jurisprudence and Philosophy of Law. Oxford University Press.
     
    Export citation  
     
    Bookmark   4 citations  
  8.  22
    Morality, Mortality: Death and Whom to Save From It [Ebook].F. M. Kamm - 1993 - Oxford University Press USA.
    Why is death bad for us, even on the assumption that it involves the absence of experience? Is it worse for us than prenatal nonexistence? In this first volume of the two-volume Morality, Mortality, Kamm begins by considering these questions, critically examining some answers other philosophers have given. The book examines specifically what differences between persons are relevant to the distribution of any scarce resource, discussing for example, the distribution of bodily organs for transplantation.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   29 citations  
  9.  99
    Jeff McMahan, The Ethics of Killing: Problems at the Margins of Life. [REVIEW]Frances Kamm - 2007 - Philosophical Review 116 (2):273-280.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   92 citations  
  10.  50
    The insanity defense, innocent threats, and limited alternatives.Frances Myrna Kamm - 1987 - Criminal Justice Ethics 6 (1):61-76.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  51
    Deep sequent systems for modal logic.Kai Brünnler - 2009 - Archive for Mathematical Logic 48 (6):551-577.
    We see a systematic set of cut-free axiomatisations for all the basic normal modal logics formed by some combination the axioms d, t, b, 4, 5. They employ a form of deep inference but otherwise stay very close to Gentzen’s sequent calculus, in particular they enjoy a subformula property in the literal sense. No semantic notions are used inside the proof systems, in particular there is no use of labels. All their rules are invertible and the rules cut, weakening and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  12.  1
    Morality, Mortality: Volume 1.F. M. Kamm - 1993 - Oxford University Press USA.
    "Fascinating....An imaginative, deeply engaging philosophical adventure."--Ethics. "Will quickly become, in debates concerning the sorts of distribution problems Kamm is concerned with, what Rawls's Theory of Justice is for more general debates about distributive justice."--Journal of Medical Ethics.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  13.  12
    Morality, Mortality: Volume 2.F. M. Kamm - 1996 - New York, US: Oxford University Press USA.
    Kamm applies her non-consequentialist theory to practical ethical problems involving life and death, including the distinction between killing and letting die, and the permissibility of harming some to save others.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  14.  18
    Social Performance and Firm Risk: Impact of the Financial Crisis.Kais Bouslah, Lawrence Kryzanowski & Bouchra M’Zali - 2018 - Journal of Business Ethics 149 (3):643-669.
    This paper examines the impact of the recent financial crisis on the relation between a firm’s risk and social performance using a sample of non-financial U.S. firms covering the period 1991–2012. We find that the relation between SP and risk is significantly different in the crisis period compared to the pre-crisis period. SP reduces volatility during the financial crisis. The risk reduction potential of SP is mainly due to the strengths component of SP. Since the relation of risk is stronger (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  15.  33
    The Argument from Religious Experience.Kai-man Kwan - 2009 - In William Lane Craig & J. P. Moreland (eds.), The Blackwell Companion to Natural Theology. Oxford, UK: Wiley‐Blackwell. pp. 498–552.
    This chapter contains sections titled: The Experiential Roots of Religion The ARE in the Twentieth Century The Decline of Traditional Foundationalism and Stock Objections to RE The ARE via the Principle of Critical Trust (PCT) RE and TE Conceptual Coherence of TE Intracoherence of TE The Structure of the CTA The Impartiality Argument for the PCT Objections to the ARE The ARE in the Twenty‐First Century References.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  16.  46
    Morality, Mortality: Volume 1: Death and Whom to Save It From.F. M. Kamm - 1993 - Oxford University Press USA.
    Why is death bad for us, even on the assumption that it involves the absence of experience? Is it worse for us than prenatal nonexistence? In this first volume of the two-volume Morality, Mortality, Kamm begins by considering these questions, critically examining some answers other philosophers have given. The book examines specifically what differences between persons are relevant to the distribution of any scarce resource, discussing for example, the distribution of bodily organs for transplantation.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  17. Reply to Kai-Yee Wong and Chris Fraser.Kai-Yee Wong - 2008 - In Searle’s Philosophy and Chinese Philosophy: Constructive Engagement. Brill. pp. 334-336.
    I thought the paper by Kai-yee Wong and Chris Fraser was fascinating and insightful. Two things I especially appreciated are the clarity with which they summarize my views. I think they are quite fair and accurate. Second, I appreciate their suggestion that the way to deal with the practical problem of weakness of will has much to do with the role of the Background in shaping our actions. I think they are especially on the right track when they say that (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. A Corpus Study of Lexical Bundles Used Differently in Dissertations Abstracts Produced by Chinese and American PhD Students of Linguistics.Kai Bao & Meihua Liu - 2022 - Frontiers in Psychology 13.
    This study examined lexical bundles used differently by Chinese and American PhD students of linguistics in their dissertation abstracts. Two corpora were built, with each having 700 dissertation abstracts produced by Chinese and American PhD students of linguistics, respectively. The study then used lexical analysis software to retrieve frequently used three-word LBs, from which LBs having different frequencies at a significant level across the two corpora were identified and termed as bundles used differently. BUDs were then categorized and analyzed manually (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  43
    Morality, Mortality: Volume 2: Rights, Duties, and Status.F. M. Kamm - 1996 - New York, US: Oxford University Press USA.
    Kamm applies her non-consequentialist theory to practical ethical problems involving life and death, including the distinction between killing and letting die, and the permissibility of harming some to save others.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  42
    Syntactic cut-elimination for common knowledge.Kai Brünnler & Thomas Studer - 2009 - Annals of Pure and Applied Logic 160 (1):82-95.
    We first look at an existing infinitary sequent system for common knowledge for which there is no known syntactic cut-elimination procedure and also no known non-trivial bound on the proof-depth. We then present another infinitary sequent system based on nested sequents that are essentially trees and with inference rules that apply deeply inside these trees. Thus we call this system “deep” while we call the former system “shallow”. In contrast to the shallow system, the deep system allows one to give (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  21. Inviolability.F. M. Kamm - 1995 - Midwest Studies in Philosophy 20 (1):165-175.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  59
    Who is causing what? The sense of agency is relational and efferent-triggered.Kai Engbert, Andreas Wohlschläger & Patrick Haggard - 2008 - Cognition 107 (2):693-704.
    The sense of agency is a basic feature of our subjective experience. Experimental studies usually focus on either its attributional aspects or on its motoric aspects. Here, we combine both aspects and focus on the subjective experience of the time between action and effect. Previous studies [Haggard, P., Aschersleben, G., Gehrke, J., & Prinz, W.. Action, binding and awareness. In W. Prinz, & B. Hommel, Common mechanisms in perception and action: Attention and performance. Oxford: Oxford University Press] have shown a (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   57 citations  
  23.  44
    The Impact of Forest Certification on Firm Financial Performance in Canada and the U.S.Kais Bouslah, Bouchra M’Zali, Marie-France Turcotte & Maher Kooli - 2010 - Journal of Business Ethics 96 (4):551 - 572.
    The purpose of this article is to examine empirically the impact of environmental certification on firm financial performance (FP). The main question is whether there is a "green premium" for certified firms, and, if so, for what kind of certification. We analyze the short-run and the long-run stock price performance using an event-study methodology on a sample of Canadian and U.S. firms. The results of short-run event abnormal returns indicate that forest certification does not have any significant impact on firm (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  24.  4
    Success of Process Innovations Through Active Works Council Participation.Kai Breitling & Wolfgang Scholl - 2022 - Frontiers in Psychology 13.
    Successful innovations are deemed to be necessary requisites for enterprise success. On the other hand, works council participation and employee participation are judged differently as either fostering employee and enterprise benefits or only the former or even none. Both forms of participation have found diverging theoretical and empirical argumentations regarding innovations. Here, we argue and show empirically that both forms of participation deliver positive contributions to innovation success, economically and employee-related, substantiated with qualitative reports from 36 process innovation cases and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  16
    Kamm on FairnessMorality, Mortality, Vol. 1: Death and Whom to Save from It.John Broome & Frances Kamm - 1998 - Philosophy and Phenomenological Research 58 (4):955.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  26.  41
    Truth in Virtue of Meaning Reconsidered.Kai Michael Büttner - 2021 - Philosophical Papers 50 (1-2):109-139.
    The positivists defined analyticity as truth in virtue of meaning alone and advocated the view that the notion of analyticity so defined is co-extensive with both the notion of an a priori truth an...
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  13
    Revealing the Electrophysiological Correlates of Working Memory-Load Effects in Symmetry Span Task With HHT Method.Kai-Yu Chuang, Yi-Hsiu Chen, Prasad Balachandran, Wei-Kuang Liang & Chi-Hung Juan - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  51
    The rise of Confucian ritualism in late imperial China: ethics, classics, and lineage discourse.Kai-Wing Chow - 1994 - Stanford, Calif.: Stanford University Press.
    This pathbreaking work argues that the major intellectual trend in China from the seventeenth through to the early nineteenth century was Confucian ritualism, as expressed in ethics and classical learning. Through the performance of rites, the early Qing scholars believed they could cultivate Confucian virtues and achieve social order. The author shows how Confucian ritualism, with its emphasis on lineage, became a broad movement of social reform that stressed conformity and clearly prescribed rules of behavior, expressed notably in the growing (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  29.  56
    The German Aesthetic Tradition.Kai Hammermeister - 2002 - New York: Cambridge University Press.
    This book, first published in 2002, is a systematic critical overview of German aesthetics from 1750 to the present. It begins with the work of Baumgarten and covers all the major writers on German aesthetics that follow, including Kant, Schiller, Schelling, Hegel, Nietzsche, Heidegger, Gadamer and Adorno. The book offers a clear and non-technical exposition of ideas, placing these in a wider philosophical context where necessary. Such is the importance of German aesthetics that the market for this book will extend (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  30.  5
    Deep Sequent Systems for Modal Logic.Kai Brünnler - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 107-120.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  31. Intricate ethics: rights, responsibilities, and permissible harm.Frances Kamm - 2007 - New York ;: Oxford University Press.
    In Intricate Ethics, Kamm questions the moral importance of some non-consequentialist distinctions and then introduces and argues for the moral importance of ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   215 citations  
  32.  11
    Creation and Abortion: An Essay in Moral and Legal Philosophy.F. M. Kamm - 1992 - New York: Oxford University Press USA.
    Based on a non-consequentialist ethical theory, this book critically examines the prevalent view that if a fetus has the moral standing of a person, it has a right to life and abortion is impermissible. Most discussion of abortion has assumed that this view is correct, and so has focused on the question of the personhood of the fetus. Kamm begins by considering in detail the permissibility of killing in non-abortion cases which are similar to abortion cases. She goes on (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  11
    Morality, Mortality: Volume 1: Death and Whom to Save It From.F. M. Kamm - 1993 - New York, US: Oxford University Press USA.
    "Fascinating....An imaginative, deeply engaging philosophical adventure."--Ethics. "Will quickly become, in debates concerning the sorts of distribution problems Kamm is concerned with, what Rawls's Theory of Justice is for more general debates about distributive justice."--Journal of Medical Ethics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. World travelling and mood swings.Kai F. Wehmeier - 2003 - In Benedikt Löwe, Thoralf Räsch & Wolfgang Malzkorn (eds.), Foundations of the Formal Sciences II. Kluwer Academic Publishers.
    It is not quite as easy to see that there is in fact no formula of this modal language having the same truth conditions (in terms of S5 Kripke semantics) as (1). This was rst conjectured by Allen Hazen2 and later proved by Harold Hodes3. We present a simple direct proof of this result and discuss some consequences for the logical analysis of ordinary modal discourse.
     
    Export citation  
     
    Bookmark   16 citations  
  35.  21
    Kamm’s Moral Methods.Norman Daniels & Frances Kamm - 1998 - Philosophy and Phenomenological Research 58 (4):947.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36.  17
    Paul Häberlin Zum 2. Todestag am 29. September d. J.Peter Kamm - 1962 - Zeitschrift für Philosophische Forschung 16 (3):413 - 428.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  76
    Punishment without a Sovereign? The Ius Puniendi Issue of International Criminal Law: A First Contribution towards a Consistent Theory of International Criminal Law.Kai Ambos - 2013 - Oxford Journal of Legal Studies 33 (2):293-315.
    Current International Criminal Law (ICL) suffers from at least four fairly serious theoretical shortcomings. First, as a starting point, the concept and meaning of ICL in its different variations must be clarified (‘the concept and meaning issue’). Second, the question of whether and how punitive power can exist at the supranational level without a sovereign (‘the ius puniendi issue’) must be answered in a satisfactory manner. Third, the overall function or purpose of ICL as opposed to national criminal law (‘the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Would you Believe It? The King of France is Back! (Presuppositions and Truth-Value Intuitions).Kai von Fintel - 2004 - In Marga Reimer & Anne Bezuidenhout (eds.), Descriptions and beyond. New York: Oxford University Press.
  39.  15
    The Global Model of Constitutional Rights.Kai Möller - 2012 - Oxford University Press.
    The rapid spread of judicially-enforced constitutional rights has been one of the most dramatic developments in modern law. This book argues that there is now a global model for how such rights should function, and develops an original, philosophically grounded, account of their nature and scope.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  40. Disappointment, sadness, and death.Kai Draper - 1999 - Philosophical Review 108 (3):387-414.
    Many find the prospect of death distressing at least partly because they believe that death deprives its subject of life’s benefits. Properly qualified, the belief is surely true. But should its truth lead us to conclude that there is something dreadful or awful about death, something that merits distress?
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  41.  41
    Syntactic cut-elimination for a fragment of the modal mu-calculus.Kai Brünnler & Thomas Studer - 2012 - Annals of Pure and Applied Logic 163 (12):1838-1853.
    For some modal fixed point logics, there are deductive systems that enjoy syntactic cut-elimination. An early example is the system in Pliuskevicius [15] for LTL. More recent examples are the systems by the authors of this paper for the logic of common knowledge [5] and by Hill and Poggiolesi for PDL[8], which are based on a form of deep inference. These logics can be seen as fragments of the modal mu-calculus. Here we are interested in how far this approach can (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  81
    Is There Such a Thing as Relative Analyticity?Kai Michael Büttner - 2017 - Ratio 30 (1):47-56.
    Fine bases his influential conception of essence on a particular account of definitions. And he complements it with a specific account of analyticity. I will argue that Fine's conception of relative analyticity confuses the idea of a sentence's being true in virtue of a term's definition with the idea of a sentence's being true in virtue of a term's meaning. His idea that correct definitions specify essential properties of meanings is mistaken. The correctness of definitions can only be assessed by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43. Small Impacts and Imperceptible Effects: Causing Harm with Others.Kai Spiekermann - 2014 - Midwest Studies in Philosophy 38 (1):75-90.
  44.  33
    War and Individual Rights: The Foundations of Just War Theory.Kai Draper - 2015 - New York, US: Oxford University Press USA.
    Drawing on insights of thinkers in the natural rights tradition, Draper analyzes numerous hypothetical cases including those involving a runaway trolley, then seeks to determine if killing civilians in war is ever justified. In his consideration of this issue he avoids appealing to the principle of double effect. Having considered hypothetical cases at length, he leaves it to others to decide if any option to go to war is justifiable. In this regard he himself is sceptical.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  45.  8
    Quantifiers and ‘If’‐Clauses.Kai Finkel - 1998 - Philosophical Quarterly 48 (191):209-214.
    Stephen Barker (The Philosophical Quarterly, 47 (1997), pp. 195–211) has presented a new argument for a pure material implication analysis of indicative conditionals. His argument relies crucially on the assumption that general indicatives such as ‘Every girl, if she gets a chance, bungee‐jumps’ are correctly analysed as having the formal structure (for all x)(if x gets a chance, x bungee‐jumps). This paper argues that an approach first proposed by David Lewis must be pursued: the ‘if’‐clause in these sentences restricts the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  35
    Ritual male circumcision and parental authority.Kai Möller - 2017 - Jurisprudence 8 (3):461-479.
    A recent judgment by a lower court in Germany brought the problem of ritual male circumcision to the consciousness of the wider public and legal academia. This essay weighs in on this emerging discussion and argues that ritual male circumcision is not covered by parental authority. It first considers and dismisses the best interest of the child test, which is the most widely used test of parental authority in legal practice. Instead, the essay proposes what it terms the autonomy conception (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  47.  28
    Four Unsolved Rationing Problems A Challenge.Norman Daniels, Francis M. Kamm, Eric Rakowski, John Broome & M. A. Bailey - 2012 - Hastings Center Report 24 (4):27-29.
  48.  20
    Creation and Abortion: A Study in Moral and Legal Philosophy.John Bahde & Frances M. Kamm - 1994 - Hastings Center Report 24 (6):38.
    Book reviewed in this article: Greation and Abortion: A Study in Moral and Legal Philosophy. By Frances M. Kamm.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  49.  67
    Cut Elimination inside a Deep Inference System for Classical Predicate Logic.Kai Brünnler - 2006 - Studia Logica 82 (1):51-71.
    Deep inference is a natural generalisation of the one-sided sequent calculus where rules are allowed to apply deeply inside formulas, much like rewrite rules in term rewriting. This freedom in applying inference rules allows to express logical systems that are difficult or impossible to express in the cut-free sequent calculus and it also allows for a more fine-grained analysis of derivations than the sequent calculus. However, the same freedom also makes it harder to carry out this analysis, in particular it (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  37
    On contraction and the modal fragment.Kai Brünnler, Dieter Probst & Thomas Studer - 2008 - Mathematical Logic Quarterly 54 (4):345-349.
    We observe that removing contraction from a standard sequent calculus for first-order predicate logic preserves completeness for the modal fragment.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 992