Search results for 'Valeria Negri' (try it on Scholar)

409 found
Sort by:
  1. Valeria Negri (2005). Agro-Biodiversity Conservation in Europe: Ethical Issues. [REVIEW] Journal of Agricultural and Environmental Ethics 18 (1):3-25.score: 240.0
    While it is commonly acknowledged that the ecosystemic, and the inter- and intra-specific diversity of natural life is under threat of being irremediably lost, there is much less awareness that the diversity in agro-ecosystems is also under threat. This paper is focused on the biodiverse agro-ecosystems generated by landraces (LRs), i.e., farmer-developed populations of cultivated species that show among- and within-population diversity and are linked to traditional cultures. The aim of this work is to arouse concern about their loss, to (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Antonio Negri (2004). Subversive Spinoza: (Un)Contemporary Variations. Distributed Exclusively in the Usa by Palgrave.score: 60.0
    In Subversive Spinoza , Antonio Negri spells out the philosophical credo that inspired his radical renewal of Marxism and his compelling analysis of the modern state and the global economy by means of an inspiring reading of the challenging metaphysics of the seventeenth-century Dutch-Jewish philosopher Spinoza. For Negri, Spinoza's philosophy has never been more relevant than it is today to debates over individuality and community, democracy and resistance, modernity and postmodernity.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Sara Negri (2003). Contraction-Free Sequent Calculi for Geometric Theories with an Application to Barr's Theorem. Archive for Mathematical Logic 42 (4):389-401.score: 60.0
    Geometric theories are presented as contraction- and cut-free systems of sequent calculi with mathematical rules following a prescribed rule-scheme that extends the scheme given in Negri and von Plato (1998). Examples include cut-free calculi for Robinson arithmetic and real closed fields. As an immediate consequence of cut elimination, it is shown that if a geometric implication is classically derivable from a geometric theory then it is intuitionistically derivable.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Antonio Negri (2011). Is It Possible to Be Communist Without Marx? Critical Horizons 12 (1):5-14.score: 30.0
    This paper explores the question of whether it is possible to be communist without Marx. This entails encountering the ontological dimension of communism, that is, the material tenor of this ontology, its residual effectiveness, the desire of human beings to go beyond capital, and the reality of the episode of statism.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Paolo Maffezioli, Alberto Naibo & Sara Negri (2013). The Church–Fitch Knowability Paradox in the Light of Structural Proof Theory. Synthese 190 (14):2677-2716.score: 30.0
    Anti-realist epistemic conceptions of truth imply what is called the knowability principle: All truths are possibly known. The principle can be formalized in a bimodal propositional logic, with an alethic modality ${\diamondsuit}$ and an epistemic modality ${\mathcal{K}}$ , by the axiom scheme ${A \supset \diamondsuit \mathcal{K} A}$ (KP). The use of classical logic and minimal assumptions about the two modalities lead to the paradoxical conclusion that all truths are known, ${A \supset \mathcal{K} A}$ (OP). A Gentzen-style reconstruction of the Church–Fitch (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Sara Negri & Jan von Plato (2001). Sequent Calculus in Natural Deduction Style. Journal of Symbolic Logic 66 (4):1803-1816.score: 30.0
    A sequent calculus is given in which the management of weakening and contraction is organized as in natural deduction. The latter has no explicit weakening or contraction, but vacuous and multiple discharges in rules that discharge assumptions. A comparison to natural deduction is given through translation of derivations between the two systems. It is proved that if a cut formula is never principal in a derivation leading to the right premiss of cut, it is a subformula of the conclusion. Therefore (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Sara Negri (2005). Proof Analysis in Modal Logic. Journal of Philosophical Logic 34 (5/6):507 - 544.score: 30.0
    A general method for generating contraction- and cut-free sequent calculi for a large family of normal modal logics is presented. The method covers all modal logics characterized by Kripke frames determined by universal or geometric properties and it can be extended to treat also Gödel-Löb provability logic. The calculi provide direct decision methods through terminating proof search. Syntactic proofs of modal undefinability results are obtained in the form of conservativity theorems.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  8. Michael Hardt & Antonio Negri (1996). Postmodern Law and the Withering of Civil Society. Angelaki 1 (3):57 – 72.score: 30.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Sara Negri (2011). Proof Theory for Modal Logic. Philosophy Compass 6 (8):523-538.score: 30.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Maurizio Negri (2010). A Probability Measure for Partial Events. Studia Logica 94 (2):271 - 290.score: 30.0
    We introduce the concept of partial event as a pair of disjoint sets, respectively the favorable and the unfavorable cases. Partial events can be seen as a De Morgan algebra with a single fixed point for the complement. We introduce the concept of a measure of partial probability, based on a set of axioms resembling Kolmogoroff’s. Finally we define a concept of conditional probability for partial events and apply this concept to the analysis of the two-slit experiment in quantum mechanics.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Roy Dyckhoff & Sara Negri (2000). Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic. Journal of Symbolic Logic 65 (4):1499-1518.score: 30.0
    We give a direct proof of admissibility of cut and contraction for the contraction-free sequent calculus G4ip for intuitionistic propositional logic and for a corresponding multi-succedent calculus: this proof extends easily in the presence of quantifiers, in contrast to other, indirect, proofs. i.e., those which use induction on sequent weight or appeal to admissibility of rules in other calculi.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. Raul Hakli & Sara Negri (2011). Reasoning About Collectively Accepted Group Beliefs. Journal of Philosophical Logic 40 (4):531-555.score: 30.0
    A proof-theoretical treatment of collectively accepted group beliefs is presented through a multi-agent sequent system for an axiomatization of the logic of acceptance. The system is based on a labelled sequent calculus for propositional multi-agent epistemic logic with labels that correspond to possible worlds and a notation for internalized accessibility relations between worlds. The system is contraction- and cut-free. Extensions of the basic system are considered, in particular with rules that allow the possibility of operative members or legislators. Completeness with (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  13. Raul Hakli & Sara Negri (2012). Does the Deduction Theorem Fail for Modal Logic? Synthese 187 (3):849-867.score: 30.0
    Various sources in the literature claim that the deduction theorem does not hold for normal modal or epistemic logic, whereas others present versions of the deduction theorem for several normal modal systems. It is shown here that the apparent problem arises from an objectionable notion of derivability from assumptions in an axiomatic system. When a traditional Hilbert-type system of axiomatic logic is generalized into a system for derivations from assumptions, the necessitation rule has to be modified in a way that (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. Sara Negri (2011). Proof Analysis: A Contribution to Hilbert's Last Problem. Cambridge University Press.score: 30.0
    Machine generated contents note: Prologue: Hilbert's Last Problem; 1. Introduction; Part I. Proof Systems Based on Natural Deduction: 2. Rules of proof: natural deduction; 3. Axiomatic systems; 4. Order and lattice theory; 5. Theories with existence axioms; Part II. Proof Systems Based on Sequent Calculus: 6. Rules of proof: sequent calculus; 7. Linear order; Part III. Proof Systems for Geometric Theories: 8. Geometric theories; 9. Classical and intuitionistic axiomatics; 10. Proof analysis in elementary geometry; Part IV. Proof Systems for Nonclassical (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Sara Negri & Jan Von Plato (1998). Cut Elimination in the Presence of Axioms. Bulletin of Symbolic Logic 4 (4):418-435.score: 30.0
    A way is found to add axioms to sequent calculi that maintains the eliminability of cut, through the representation of axioms as rules of inference of a suitable form. By this method, the structural analysis of proofs is extended from pure logic to free-variable theories, covering all classical theories, and a wide class of constructive theories. All results are proved for systems in which also the rules of weakening and contraction can be eliminated. Applications include a system of predicate logic (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  16. Sara Negri & Jan von Plato (2001). Structural Proof Theory. Cambridge University Press.score: 30.0
    A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  17. Antonio Negri (1995). On Gilles Deleuze & Félix Guattari, A Thousand Plateaus. Graduate Faculty Philosophy Journal 18 (1):93-109.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  18. Sara Negri (2014). Proofs and Countermodels in Non-Classical Logics. Logica Universalis 8 (1):25-60.score: 30.0
    Proofs and countermodels are the two sides of completeness proofs, but, in general, failure to find one does not automatically give the other. The limitation is encountered also for decidable non-classical logics in traditional completeness proofs based on Henkin’s method of maximal consistent sets of formulas. A method is presented that makes it possible to establish completeness in a direct way: For any given sequent either a proof in the given logical system or a countermodel in the corresponding frame class (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Antonio Negri (1995). Spinoza's Anti-Modernity. Graduate Faculty Philosophy Journal 18 (2):1-15.score: 30.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  20. Sara Negri (2002). Varieties of Linear Calculi. Journal of Philosophical Logic 31 (6):569-590.score: 30.0
    A uniform calculus for linear logic is presented. The calculus has the form of a natural deduction system in sequent calculus style with general introduction and elimination rules. General elimination rules are motivated through an inversion principle, the dual form of which gives the general introduction rules. By restricting all the rules to their single-succedent versions, a uniform calculus for intuitionistic linear logic is obtained. The calculus encompasses both natural deduction and sequent calculus that are obtained as special instances from (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  21. Antonio Negri (2000). Alma Venus. Graduate Faculty Philosophy Journal 22 (1):289-301.score: 30.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  22. Toni Negri (2011). De l'antagonisme au commun: Retrouver Marx. Actuel Marx 2 (2):29-43.score: 30.0
    No categories
    Translate to English
    | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  23. Antimo Negri (1985). Essere E Atto. Giornale di Metafisica: Revista Bimestrale di Filosofia 7 (2):255-268.score: 30.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  24. Antonio Negri & Roberto Palomba (2013). Spinoza. Graduate Faculty Philosophy Journal 34 (1):85-96.score: 30.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  25. Roy Dyckhoff & Sara Negri (2012). Proof Analysis in Intermediate Logics. Archive for Mathematical Logic 51 (1-2):71-92.score: 30.0
    Using labelled formulae, a cut-free sequent calculus for intuitionistic propositional logic is presented, together with an easy cut-admissibility proof; both extend to cover, in a uniform fashion, all intermediate logics characterised by frames satisfying conditions expressible by one or more geometric implications. Each of these logics is embedded by the Gödel–McKinsey–Tarski translation into an extension of S4. Faithfulness of the embedding is proved in a simple and general way by constructive proof-theoretic methods, without appeal to semantics other than in the (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  26. Antonio Negri (2010). À la recherche du Commonwealth. Rue Descartes 1 (1):6-17.score: 30.0
    No categories
    Translate to English
    | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  27. Antonio Negri & Carlo Vercellone (2008). Le rapport capital / travail dans le capitalisme cognitif. Multitudes 1 (1):39-50.score: 30.0
    No categories
    Translate to English
    | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  28. Stefania Negri (ed.) (2012). Self-Determination, Dignity and End-of-Life Care: Regulating Advance Directives in International and Comparative Perspective. M. Nijhoff Pub..score: 30.0
    By providing an interdisciplinary reading of advance directives regulation in international, European and domestic law, this book offers new insights into the most controversial legal issues surrounding the debate over dignity and autonomy ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Sara Negri & Daniele Soravia (1999). The Continuum as a Formal Space. Archive for Mathematical Logic 38 (7):423-447.score: 30.0
    A constructive definition of the continuum based on formal topology is given and its basic properties studied. A natural notion of Cauchy sequence is introduced and Cauchy completeness is proved. Other results include elementary proofs of the Baire and Cantor theorems. From a classical standpoint, formal reals are seen to be equivalent to the usual reals. Lastly, the relation of real numbers as a formal space to other approaches to constructive real numbers is determined.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  30. Antonio Negri & Max Henninger (2007). Art and Culture in the Age of Empire and the Time of the Multitudes. Substance 36 (1):48-55.score: 30.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  31. Antonio Negri (1989). Between Infinity and Community: Notes on Materialism in Spinoza and Leopardi. Studia Spinozana: An International and Interdisciplinary Series 5:151-176.score: 30.0
  32. Michael Hardt–Antonio Negri (2003). balizzazione, Milano, Rizzoli, 2002, pp. 452. La fortuna che sta avendo il concetto di impero ha tutta l'aria di un ritorno: sembrava un'idea abbandonata dopo la seconda guerra mondiale, che aveva segnato non soltanto la fine ingloriosa. [REVIEW] Rivista di Filosofia 94 (1).score: 30.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  33. Antimo Negri (1982). Corporeità e discorso etico. Proposta per una lettura attuale della teoria rosminiana del sentimento fondamentale corporeo. Giornale di Metafisica: Revista Bimestrale di Filosofia 4 (2):237-290.score: 30.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  34. Sara Negri & Jan Von Plato (1998). Cut Elimination in the Presence of Axioms. Bulletin of Symbolic Logic 4 (4):418-435.score: 30.0
    A way is found to add axioms to sequent calculi that maintains the eliminability of cut, through the representation of axioms as rules of inference of a suitable form. By this method, the structural analysis of proofs is extended from pure logic to free-variable theories, covering all classical theories, and a wide class of constructive theories. All results are proved for systems in which also the rules of weakening and contraction can be eliminated. Applications include a system of predicate logic (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Antonio Negri (1985). Reliquia desiderantur-Congettura per una definizione del concetto di democrazia nell'ultimo Spinoza. Studia Spinozana: An International and Interdisciplinary Series 1:143-182.score: 30.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  36. Sara Negri & Silvio Valentini (1997). Tychonoff's Theorem in the Framework of Formal Topologies. Journal of Symbolic Logic 62 (4):1315-1332.score: 30.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  37. R. Bellany, L. Ferrajoli, T. Negri & D. Zolo (2004). The Legacy of Norberto Bobbio: Assessments and Recollections. Critical Review of International Social and Political Philosophy 7:67-83.score: 30.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Bianca Boretti & Sara Negri (2006). Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics. Philosophia Scientiae:61-79.score: 30.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. Michael Hardt & Antonio Negri (2000). La production biopolitique. Multitudes 1 (1):16-28.score: 30.0
    No categories
    Translate to English
    | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  40. Sara Negri (2002). A Normalizing System of Natural Deduction for Intuitionistic Linear Logic. Archive for Mathematical Logic 41 (8):789-810.score: 30.0
    The main result of this paper is a normalizing system of natural deduction for the full language of intuitionistic linear logic. No explicit weakening or contraction rules for -formulas are needed. By the systematic use of general elimination rules a correspondence between normal derivations and cut-free derivations in sequent calculus is obtained. Normalization and the subformula property for normal derivations follow through translation to sequent calculus and cut-elimination.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  41. Sara Negri & Roy Dyckhoff (2006). Decision Methods for Linearly Ordered Heyting Algebras. Archive for Mathematical Logic 45 (4):411-422.score: 30.0
    The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable; a simple solution is here presented, inspired by related ideas in Gödel-Dummett logic.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  42. Antonio Negri (2007). Giselle Donnard nous a quittés. Multitudes 1 (1):107-108.score: 30.0
    No categories
    Translate to English
    | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  43. A. Negri (2001). I conti con l'attualisimo e con il post-attualismo di Raschini. Filosofia Oggi 24 (93):91-101.score: 30.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  44. Sara Negri (2009). Kripke Completeness Revisited. In Giuseppe Primiero (ed.), Acts of Knowledge: History, Philosophy and Logic. College Publications. 233--266.score: 30.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  45. Antimo Negri (1995). L'attualismo gentiliano e il destino dell'io. Idee 28:11-32.score: 30.0
    No categories
    Translate to English
    | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  46. Antonio Negri (2004). Multitude : guerre et démocratie à l'époque de l'Empire. Multitudes 4 (4):107-117.score: 30.0
    No categories
    Translate to English
    | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  47. Antonio Negri (2000). Nécessité et liberté chez Spinoza : quelques alternatives. Multitudes 2 (2):163-180.score: 30.0
    No categories
    Translate to English
    | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  48. Antonio Negri (2007). On the Political. Contemporary Political Theory 6 (3):374-376.score: 30.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  49. Sara Negri, Jan von Plato & Thierry Coquand (2004). Proof-Theoretical Analysis of Order Relations. Archive for Mathematical Logic 43 (3):297-309.score: 30.0
    A proof-theoretical analysis of elementary theories of order relations is effected through the formulation of order axioms as mathematical rules added to contraction-free sequent calculus. Among the results obtained are proof-theoretical formulations of conservativity theorems corresponding to Szpilrajn’s theorem on the extension of a partial order into a linear one. Decidability of the theories of partial and linear order for quantifier-free sequents is shown by giving terminating methods of proof-search.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  50. Antonio Negri (2008). Qu'est-ce qu'un événement ou un lieu biopolitique dans la métropole ? Multitudes 4 (4):17-30.score: 30.0
    No categories
    Translate to English
    | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 409