Results for 'Anita Montagna'

997 found
Order:
  1.  10
    Socio-Emotional Development Following Very Preterm Birth: Pathways to Psychopathology.Anita Montagna & Chiara Nosarti - 2016 - Frontiers in Psychology 7.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2. Francesc Esteva Lluıs Godo Franco Montagna.Franco Montagna - 2004 - Studia Logica 76:155-194.
     
    Export citation  
     
    Bookmark  
  3.  13
    The Predicate Modal Logic of Provability.Franco Montagna - 1984 - Notre Dame Journal of Formal Logic 25 (2):179-189.
  4.  12
    A Minimal Predicative Set Theory.Franco Montagna & Antonella Mancini - 1994 - Notre Dame Journal of Formal Logic 35 (2):186-203.
  5.  14
    An Intimate Conversation With Anita Roddick.Anita Roddick & Craig Cox - 1992 - Business Ethics: The Magazine of Corporate Responsibility 6 (5):27-29.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  15
    Interpolation and Beth’s Property in Propositional Many-Valued Logics: A Semantic Investigation.Franco Montagna - 2006 - Annals of Pure and Applied Logic 141 (1):148-179.
    In this paper we give a rather detailed algebraic investigation of interpolation and Beth’s property in propositional many-valued logics extending Hájek’s Basic Logic [P. Hájek, Metamathematics of Fuzzy Logic, Kluwer, 1998], and we connect such properties with amalgamation and strong amalgamation in the corresponding varieties of algebras. It turns out that, while the most interesting extensions of in the language of have deductive interpolation, very few of them have Beth’s property or Craig interpolation. Thus in the last part of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  7.  29
    Three Complexity Problems in Quantified Fuzzy Logic.Franco Montagna - 2001 - Studia Logica 68 (1):143-152.
    We prove that the sets of standard tautologies of predicate Product Logic and of predicate Basic Logic, as well as the set of standard-satisfiable formulas of predicate Basic Logic are not arithmetical, thus finding a rather satisfactory solution to three problems proposed by Hájek in [H01].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  8.  17
    Relatively Precomplete Numerations and Arithmetic.Franco Montagna - 1982 - Journal of Philosophical Logic 11 (4):419 - 430.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  9.  31
    An Algebraic Approach to Propositional Fuzzy Logic.Franco Montagna - 2000 - Journal of Logic, Language and Information 9 (1):91-124.
    We investigate the variety corresponding to a logic, which is the combination of ukasiewicz Logic and Product Logic, and in which Gödel Logic is interpretable. We present an alternative axiomatization of such variety. We also investigate the variety, called the variety of algebras, corresponding to the logic obtained from by the adding of a constant and of a defining axiom for one half. We also connect algebras with structures, called f-semifields, arising from the theory of lattice-ordered rings, and prove that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  10. Uneasy Access: Privacy for Women in a Free Society.Anita L. Allen - 1988 - Rowman & Littlefield Publishers.
    'Anita L. Allen breaks new ground...A stunning indictment of women's status in contemporary society, her book provides vital original scholarly research and insight.' |s-NEW DIRECTIONS FOR WOMEN.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  11.  32
    On the Algebraization of a Feferman's Predicate.Franco Montagna - 1978 - Studia Logica 37 (3):221 - 236.
    This paper is devoted to the algebraization of an arithmetical predicate introduced by S. Feferman. To this purpose we investigate the equational class of Boolean algebras enriched with an operation (g=rtail), which translates such predicate, and an operation τ, which translates the usual predicate Theor. We deduce from the identities of this equational class some properties of (g=rtail) and some ties between (g=rtail) and τ; among these properties, let us point out a fixed-point theorem for a sufficiently large class of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  12.  42
    On the Predicate Logics of Continuous T-Norm BL-Algebras.Franco Montagna - 2005 - Archive for Mathematical Logic 44 (1):97-114.
    .Given a class C of t-norm BL-algebras, one may wonder which is the complexity of the set Taut of predicate formulas which are valid in any algebra in C. We first characterize the classes C for which Taut is recursively axiomatizable, and we show that this is the case iff C only consists of the Gödel algebra on [0,1]. We then prove that in all cases except from a finite number Taut is not even arithmetical. Finally we consider predicate monadic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  13.  51
    Health Care Ethics Consultation: An Update on Core Competencies and Emerging Standards From the American Society for Bioethics and Humanities' Core Competencies Update Task Force.Anita Tarzian - 2013 - American Journal of Bioethics 13 (2):3-13.
    Ethics consultation has become an integral part of the fabric of U.S. health care delivery. This article summarizes the second edition of the Core Competencies for Health Care Ethics Consultation report of the American Society for Bioethics and Humanities. The core knowledge and skills competencies identified in the first edition of Core Competencies have been adopted by various ethics consultation services and education programs, providing evidence of their endorsement as health care ethics consultation standards. This revised report was prompted by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   52 citations  
  14.  10
    "Pathologies" in Two Syntactic Categories of Partial Maps.Franco Montagna - 1988 - Notre Dame Journal of Formal Logic 30 (1):105-116.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  18
    Kripke-Style Semantics for Many-Valued Logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.
    This paper deals with Kripke-style semantics for many-valued logics. We introduce various types of Kripke semantics, and we connect them with algebraic semantics. As for modal logics, we relate the axioms of logics extending MTL to properties of the Kripke frames in which they are valid. We show that in the propositional case most logics are complete but not strongly complete with respect to the corresponding class of complete Kripke frames, whereas in the predicate case there are important many-valued logics (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  16.  66
    Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀.Franco Montagna & Hiroakira Ono - 2002 - Studia Logica 71 (2):227-245.
    The present paper deals with the predicate version MTL of the logic MTL by Esteva and Godo. We introduce a Kripke semantics for it, along the lines of Ono''s Kripke semantics for the predicate version of FLew (cf. [O85]), and we prove a completeness theorem. Then we prove that every predicate logic between MTL and classical predicate logic is undecidable. Finally, we prove that MTL is complete with respect to the standard semantics, i.e., with respect to Kripke frames on the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  17. Other Minds.Anita Avramides - 2001 - Routledge.
    How do I know whether there are any minds beside my own? This problem of other minds in philosophy raises questions which are at the heart of all philosophical investigations--how it is that we know, what is in the mind, and whether we can be certain about any of our beliefs. In this book, Anita Avramides begins with a historical overview of the problem from the Ancient Skeptics to Descartes, Malebranche, Locke, Berkeley, Reid, and Wittgenstein. The second part of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   32 citations  
  18.  72
    Disability, Difference, Discrimination: Perspectives on Justice in Bioethics and Public Policy.Anita Silvers, David Wasserman, Mary B. Mahowald & Lawrence C. Becker - 1999 - Rowman & Littlefield Publishers.
    How should we respond to individuals with disabilities? What does it mean to be disabled? Over fifty million Americans, from neonates to the fragile elderly, are disabled. Some people say they have the right to full social participation, while others repudiate such claims as delusive or dangerous. In this compelling book, three experts in ethics, medicine, and the law address pressing disability questions in bioethics and public policy. Anita Silvers, David Wasserman, and Mary B. Mahowald test important theories of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  19.  27
    A Categorical Equivalence for Product Algebras.Franco Montagna & Sara Ugolini - 2015 - Studia Logica 103 (2):345-373.
    In this paper we provide a categorical equivalence for the category \ of product algebras, with morphisms the homomorphisms. The equivalence is shown with respect to a category whose objects are triplets consisting of a Boolean algebra B, a cancellative hoop C and a map \ from B × C into C satisfying suitable properties. To every product algebra P, the equivalence associates the triplet consisting of the maximum boolean subalgebra B, the maximum cancellative subhoop C, of P, and the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  20
    A Code of Ethics for Health Care Ethics Consultants: Journey to the Present and Implications for the Field.Anita J. Tarzian & Lucia D. Wocial - 2015 - American Journal of Bioethics 15 (5):38-51.
    For decades a debate has played out in the literature about who bioethicists are, what they do, whether they can be considered professionals qua bioethicists, and, if so, what professional responsibilities they are called to uphold. Health care ethics consultants are bioethicists who work in health care settings. They have been seeking guidance documents that speak to their special relationships/duties toward those they serve. By approving a Code of Ethics and Professional Responsibilities for Health Care Ethics Consultants, the American Society (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  21.  34
    The Undecidability of the First-Order Theory of Diagonalizable Algebras.Franco Montagna - 1980 - Studia Logica 39 (4):355 - 359.
    The undecidability of the first-order theory of diagonalizable algebras is shown here.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  22.  90
    Extreme Case Formulations: A Way of Legitimizing Claims. [REVIEW]Anita Pomerantz - 1986 - Human Studies 9 (2-3):219 - 229.
    This paper has described three uses of Extreme Case formulationsto assert the strongest case in anticipation of non-sympathetic hearingsto propose the cause of a phenomenonto speak for the rightness (wrongness) of a practice.The interactants in the illustrations were engaged in several types of activities, among which were complaining, accusing, justifying, and defending. As concluding remarks, a few comments will be made about why participants use Extreme Case formulations in these activities.Part of the business of complaining involves portraying a situation as (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   74 citations  
  23. Provability in Finite Subtheories of Pa and Relative Interpretability: A Modal Investigation.Franco Montagna - 1987 - Journal of Symbolic Logic 52 (2):494-511.
  24.  27
    Universal Recursion Theoretic Properties of R.E. Preordered Structures.Franco Montagna & Andrea Sorbi - 1985 - Journal of Symbolic Logic 50 (2):397-406.
  25.  81
    Other Minds?Anita Avramides - 2002 - Think 1 (2):61-68.
    One of the most intriguing of philosophical puzzles concerns other minds. How do you know there are any? Yes, you're surrounded by living organisms that look and behave much as you do. They even say they have minds. But do they? Perhaps other humans are mindless zombies: like you on the outside, but lacking any inner conscious life, including emotions, thoughts, experiences and even pain. What grounds do you possess for supposing that other humans aren't zombies? Perhaps less than you (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  26.  27
    Interpretations of the First-Order Theory of Diagonalizable Algebras in Peano Arithmetic.Franco Montagna - 1980 - Studia Logica 39 (4):347 - 354.
    For every sequence |p n } n of formulas of Peano ArithmeticPA with, every formulaA of the first-order theory diagonalizable algebras, we associate a formula 0 A, called the value ofA inPA with respect to the interpretation. We show that, ifA is true in every diagonalizable algebra, then, for every, 0 A is a theorem ofPA.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  27.  36
    Partially Undetermined Many-Valued Events and Their Conditional Probability.Franco Montagna - 2012 - Journal of Philosophical Logic 41 (3):563-593.
    A logic for classical conditional events was investigated by Dubois and Prade. In their approach, the truth value of a conditional event may be undetermined. In this paper we extend the treatment to many-valued events. Then we support the thesis that probability over partially undetermined events is a conditional probability, and we interpret it in terms of bets in the style of de Finetti. Finally, we show that the whole investigation can be carried out in a logical and algebraic setting, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28. The Ontology for Biomedical Investigations.Anita Bandrowski, Ryan Brinkman, Mathias Brochhausen, Matthew H. Brush, Bill Bug, Marcus C. Chibucos, Kevin Clancy, Mélanie Courtot, Dirk Derom, Michel Dumontier, Liju Fan, Jennifer Fostel, Gilberto Fragoso, Frank Gibson, Alejandra Gonzalez-Beltran, Melissa A. Haendel, Yongqun He, Mervi Heiskanen, Tina Hernandez-Boussard, Mark Jensen, Yu Lin, Allyson L. Lister, Phillip Lord, James Malone, Elisabetta Manduchi, Monnie McGee, Norman Morrison, James A. Overton, Helen Parkinson, Bjoern Peters, Philippe Rocca-Serra, Alan Ruttenberg, Susanna-Assunta Sansone, Richard H. Scheuermann, Daniel Schober, Barry Smith, Larisa N. Soldatova, Christian J. Stoeckert, Chris F. Taylor, Carlo Torniai, Jessica A. Turner, Randi Vita, Patricia L. Whetzel & Jie Zheng - 2016 - PLoS ONE 11 (4):e0154556.
    The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  29.  30
    Δ-Core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation.Franco Montagna - 2012 - Studia Logica 100 (1-2):289-317.
    In this paper we investigate the connections between quantifier elimination, decidability and Uniform Craig Interpolation in Δ-core fuzzy logics added with propositional quantifiers. As a consequence, we are able to prove that several propositional fuzzy logics have a conservative extension which is a Δ-core fuzzy logic and has Uniform Craig Interpolation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  16
    Completeness with Respect to a Chain and Universal Models in Fuzzy Logic.Franco Montagna - 2011 - Archive for Mathematical Logic 50 (1-2):161-183.
    In this paper we investigate fuzzy propositional and first order logics which are complete or strongly complete with respect to a single chain, and we relate this properties with the existence of a universal chain for the logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  31
    Unpopular Privacy: What Must We Hide?Anita Allen - 2011 - Oup Usa.
    Can the government stick us with privacy we don't want? It can, it does, and according to this author, may need to do more of it. Privacy is a foundational good, she argues, a necessary tool in the liberty-lover's kit for a successful life. A nation committed to personal freedom must be prepared to mandate inalienable, liberty-promoting privacies for its people, whether they eagerly embrace them or not. The eight chapters of this book are reflections on public regulation of privacy (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  32.  30
    Regulating the Use of Cognitive Enhancement: an Analytic Framework.Anita S. Jwa - 2019 - Neuroethics 12 (3):293-309.
    Recent developments in neuroscience have enabled technological advances to modulate cognitive functions of the brain. Despite ethical concerns about cognitive enhancement, both individuals and society as a whole can benefit greatly from these technologies, depending on how we regulate their use. To date, regulatory analyses of neuromodulation technologies have focused on a technology itself – for instance, the U.S. Food and Drug Administration regulation of a brain stimulation device – rather than the use of a technology, such as the use (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  33.  61
    Thinking About the Good: Reconfiguring Liberal Metaphysics (or Not) for People with Cognitive Disabilities.Anita Silvers & Leslie Pickering Francis - 2009 - Metaphilosophy 40 (3-4):475-498.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  34.  59
    Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
    Substructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0.1]. In this paper, we introduce Uninorm logic UL as Multiplicative additive intuitionistic linear logic MAILL extended with the prelinearity axiom ((A → B) ∧ t) ∨ ((B → A) ∧ t). Axiomatic extensions of UL include known fuzzy logics such as Monoidal t-norm logic MTL and Gödel logic G, and new weakening-free logics. Algebraic semantics for these logics are (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  35.  89
    Trusting Experts and Epistemic Humility in Disability.Anita Ho - 2011 - International Journal of Feminist Approaches to Bioethics 4 (2):102-123.
    It is often taken for granted that the professional–patient relationship is one of trust, particularly given that these clinicians are “experts” in their clinical domain. Nonetheless, trusting grants discretionary powers to the trustee, making the truster vulnerable to the trustee (Rogers and Ballantyne 2008). In particular, some patient groups carry certain social vulnerabilities that can be exacerbated when they extend trust to health-care providers (HCPs). Informed by the feminist literature on epistemic hierarchy and oppression, this paper examines how calls to (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  36.  98
    Justice Through Trust: Disability and the “Outlier Problem” in Social Contract Theory.Anita Silvers & Leslie Pickering Francis - 2005 - Ethics 116 (1):40-76.
  37.  95
    Environmental Reporting of Global Corporations: A Content Analysis Based on Website Disclosures.Anita Jose & Shang-Mei Lee - 2007 - Journal of Business Ethics 72 (4):307-321.
    Today, more corporations disclose information about their environmental performance in response to stakeholder demands of environmental responsibility and accountability. What information do corporations disclose on their websites? This paper investigates the environmental management policies and practices of the 200 largest corporations in the world. Based on a content analysis of the environmental reports of Fortune’s Global 200 companies, this research analyzes the content of corporate environmental disclosures with respect to the following seven areas: environmental planning considerations, top management support to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  38.  81
    Reconciling Equality to Difference: Caring (F)or Justice for People with Disabilities.Anita Silvers - 1995 - Hypatia 10 (1):30 - 55.
    A feminist ethics that bases morality on dependence or vulnerability challenges the moral priority of uniform over disparate treatment. Persons with disabilities resist equality's homogenization of moral personhood. But displacing equality in favor of caring or trust reprises the repression of those already marginalized. The ethics of difference proves an ineffective remedy for the negative consequences attendant on how historically marginalized groups are different. An historicized conception of equality resolves the dilemma.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  39. On the Possibility and Desirability of Constructing a Neutral Conception of Disability.Anita Silvers - 2003 - Theoretical Medicine and Bioethics 24 (6):471-487.
    Disagreement about the properattitude toward disability proliferates. Yetlittle attention has been paid to an importantmeta-question, namely, whether ``disability'' isan essentially contested concept. If so, recentdebates between bioethicists and the disabilitymovement leadership cannot be resolved. Inthis essay I identify some of the presumptionsthat make their encounters so contentious. Much more must happen, I argue, for anydiscussions about disability policy andpolitics to be productive. Progress depends onconstructing a neutral conception ofdisability, one that neither devaluesdisability nor implies that persons withdisabilities are inadequate. So, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  40.  16
    Corrigendum to "Kripke-Style Semantics for Many-Valued Logics".Franco Montagna & Lorenzo Sacchetti - 2004 - Mathematical Logic Quarterly 50 (1):104.
    This note contains a correct proof of the fact that the set of all first-order formulas which are valid in all predicate Kripke frames for Hájek's many-valued logic BL is not arithmetical. The result was claimed in [5], but the proof given there was incorrect.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41. Meaning and Mind an Examination of a Gricean Account of Language.Anita Avramides - 1989
     
    Export citation  
     
    Bookmark   22 citations  
  42.  22
    For Everyn, Then-Freely Generated Algebra is Not Functionally Free in the Equational Class of Diagonalizable Algebras.Franco Montagna - 1975 - Studia Logica 34 (4):315 - 319.
    This paper is devoted to the algebraization of theories in which, as in Peano arithmetic, there is a formula, Theor(x), numerating the set of theorems, and satisfying Hilbert-Bernays derivability conditions. In particular, we study the diagonalizable algebras, which are been introduced by R. Magari in [6], [7]. We prove that for every natural number n, the n-freely generated algebra $\germ{J}_{n}$ is not functionally free in the equational class of diagonalizable algebras; we also prove that the diagonalizable algebra of Peano arithmetic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  22
    A Cut-Free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain.Franco Montagna, G. Michele Pinna & Elisa B. P. Tiezzi - 2000 - Mathematical Logic Quarterly 46 (2):171-182.
    We present a complete and cut-free proof-system for a fragment of MTL, where modal operators are only labelled by bounded intervals with rational endpoints.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  15
    Logic and Probabilistic Systems.Franco Montagna, Giulia Simi & Andrea Sorbi - 1996 - Archive for Mathematical Logic 35 (4):225-261.
    Following some ideas of Roberto Magari, we propose trial and error probabilistic functions, i.e. probability measures on the sentences of arithmetic that evolve in time by trial and error. The set ℐ of the sentences that get limit probability 1 is a Π3—theory, in fact ℐ can be a Π3—complete set. We prove incompleteness results for this setting, by showing for instance that for every k > 0 there are true Π3—sentences that get limit probability less than 1/2k. No set (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45. The Individualist Model of Autonomy and the Challenge of Disability.Anita Ho - 2008 - Journal of Bioethical Inquiry 5 (2-3):193-207.
    In recent decades, the intertwining ideas of self-determination and well-being have received tremendous support in bioethics. Discussions regarding self-determination, or autonomy, often focus on two dimensions—the capacity of the patient and the freedom from external coercion. The practice of obtaining informed consent, for example, has become a standard procedure in therapeutic and research medicine. On the surface, it appears that patients now have more opportunities to exercise their self-determination than ever. Nonetheless, discussions of patient autonomy in the bioethics literature, which (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  46.  13
    The Logic of Π1-Conservativity.Petr Hajek & Franco Montagna - 1990 - Archive for Mathematical Logic 30 (2):113-123.
    We show that the modal prepositional logicILM (interpretability logic with Montagna's principle), which has been shown sound and complete as the interpretability logic of Peano arithmetic PA (by Berarducci and Savrukov), is sound and complete as the logic ofπ 1-conservativity over eachbE 1-sound axiomatized theory containingI⌆ 1 (PA with induction restricted tobE 1-formulas). Furthermore, we extend this result to a systemILMR obtained fromILM by adding witness comparisons in the style of Guaspari's and Solovay's logicR (this will be done in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  47.  28
    The Rejected Body: Feminist Philosophical Reflections on Disability.Anita Silvers - 1998 - Ethics 108 (3):612-615.
  48.  39
    A Proof of Standard Completeness for Esteva and Godo's Logic MTL.Sándor Jenei & Franco Montagna - 2002 - Studia Logica 70 (2):183-192.
    In the present paper we show that any at most countable linearly-ordered commutative residuated lattice can be embedded into a commutative residuated lattice on the real unit interval [0, 1]. We use this result to show that Esteva and Godo''s logic MTL is complete with respect to interpretations into commutative residuated lattices on [0, 1]. This solves an open problem raised in.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  49.  10
    Polynomially and Superexponentially Shorter Proofs in Fragments of Arithmetic.Franco Montagna - 1992 - Journal of Symbolic Logic 57 (3):844-863.
  50.  15
    Disability, Difference, and Discrimination: Perspectives on Justice in Bioethics and Public Policy.Anita Silvers, David Wasserman & Mary B. Mahowald - 2002 - Hypatia 17 (1):209-213.
1 — 50 / 997