Search results for 'Francesco Viganò' (try it on Scholar)

1000+ found
Sort by:
  1. Federica Viganò & Francesco Moiso (eds.) (2005). La Natura Osservata E Compresa: Saggi in Memoria di Francesco Moiso. Guerini E Associati.score: 540.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  2. Nicoletta Fornara, Francesco Viganò, Mario Verdicchio & Marco Colombetti (2008). Artificial Institutions: A Model of Institutional Reality for Open Multiagent Systems. [REVIEW] Artificial Intelligence and Law 16 (1):89-105.score: 240.0
    Software agents’ ability to interact within different open systems, designed by different groups, presupposes an agreement on an unambiguous definition of a set of concepts, used to describe the context of the interaction and the communication language the agents can use. Agents’ interactions ought to allow for reliable expectations on the possible evolution of the system; however, in open systems interacting agents may not conform to predefined specifications. A possible solution is to define interaction environments including a normative component, with (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Francesco Vigano (2007). A Framework for Model Checking Institutions. In. In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. 129--145.score: 240.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. David Basin, Seán Matthews & Luca Viganò (1998). Natural Deduction for Non-Classical Logics. Studia Logica 60 (1):119-160.score: 30.0
    We present a framework for machine implementation of families of non-classical logics with Kripke-style semantics. We decompose a logic into two interacting parts, each a natural deduction system: a base logic of labelled formulae, and a theory of labels characterizing the properties of the Kripke models. By appropriate combinations we capture both partial and complete fragments of large families of non-classical logics such as modal, relevance, and intuitionistic logics. Our approach is modular and supports uniform proofs of soundness, completeness and (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  5. Jeremy Moon, Stephanos Anastasiadis & Federica Viganò (2009). The Potential of Csr to Support the Implementation of the Eu Sustainability Strategy: Editorial Introduction. Business Ethics 18 (3):268-272.score: 30.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. David Basin, Seán Matthews & Luca Viganò (1998). Labelled Modal Logics: Quantifiers. [REVIEW] Journal of Logic, Language and Information 7 (3):237-263.score: 30.0
    In previous work we gave an approach, based on labelled natural deduction, for formalizing proof systems for a large class of propositional modal logics that includes K, D, T, B, S4, S4.2, KD45, and S5. Here we extend this approach to quantified modal logics, providing formalizations for logics with varying, increasing, decreasing, or constant domains. The result is modular with respect to both properties of the accessibility relation in the Kripke frame and the way domains of individuals change between worlds. (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  7. Carlos Caleiro, Luca Viganò & Marco Volpe (2013). On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. [REVIEW] Logica Universalis 7 (1):33-69.score: 30.0
    We present an extension of the mosaic method aimed at capturing many-dimensional modal logics. As a proof-of-concept, we define the method for logics arising from the combination of linear tense operators with an “orthogonal” S5-like modality. We show that the existence of a model for a given set of formulas is equivalent to the existence of a suitable set of partial models, called mosaics, and apply the technique not only in obtaining a proof of decidability and a proof of completeness (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  8. Luca Viganò (2000). Labelled Non-Classical Logics. Kluwer Academic Publishers.score: 30.0
    The subject of Labelled Non-Classical Logics is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Logics are presented as labelled deduction systems, which are proved to be sound and complete with respect to the corresponding Kripke-style semantics. We investigate the proof theory of our systems, and show them to possess structural properties such as normalization and the subformula property, which we exploit not only to (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Luca Viganò (2000). An o(N Log N)-Space Decision Procedure for the Relevance Logic B+. Studia Logica 66 (3):385-407.score: 30.0
    In previous work we gave a new proof-theoretical method for establishing upper-bounds on the space complexity of the provability problem of modal and other propositional non-classical logics. Here we extend and refine these results to give an O(n log n)-space decision procedure for the basic positive relevance logic B+. We compute this upper-bound by first giving a sound and complete, cut-free, labelled sequent system for B+, and then establishing bounds on the application (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  10. Andrea Cossarizza, Cristina Mussini & Alessandra Viganò (2001). Mitochondria in the Pathogenesis of Lipodystrophy Induced by Anti‐HIV Antiretroviral Drugs: Actors or Bystanders? Bioessays 23 (11):1070-1080.score: 30.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Uricchio Francesco (2005). Padre Kolbe e la sacra scrittura: Citazioni, richiami e allusioni bibliche nei suoi scritti. Miscellanea Francescana 105 (1-2):135-247.score: 30.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  12. Dario Viganò (2007). L'adesso Del Domani: Rifigurazioni Della Speranza Nel Cinema Moderno E Contemporaneo. Effatà.score: 30.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  13. Andrew Benjamin (2012). Matter and Movement's Presence: Notes on Heidegger, Francesco Mosca, and Bernini. Research in Phenomenology 42 (3):343-373.score: 24.0
    Abstract The role of actual works of art with philosophical writing is often reduced to the status of example or illustration. As such the materiality of art work is rarely discussed let alone deployed as the basis of philosophical reflection. In this paper works by Francesco Mosca, and Bernini are used to question Heidegger's writings on sculpture. What such an approach opens up is the possibility that art may set the measure for philosophy.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  14. Guy Claessens (2012). Francesco Piccolomini on Prime Matter and Extension. Vivarium 50 (2):225-244.score: 24.0
    This paper examines the view held by Francesco Piccolomini (1523-1607) on the relation between prime matter and extension. In his discussion of prime matter in the Libri ad scientiam de natura attinentes Piccolomini develops a theory of prime matter that incorporates crucial elements of the viewpoint adhered to by the Neoplatonist Simplicius. The originality of Piccolomini’s undertaking is highlighted by contrasting it with the ideas found in Jacopo Zabarella’s De rebus naturalibus . The case of Piccolomini shows that, in (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. Adriano D'Aloia (2010). Francesco Casetti (2008) Eye of the Century: Film, Experience, Modernity. Film-Philosophy 14 (2).score: 21.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16. Luc Deitz (2007). Francesco Patrizi da Cherso's Criticism of Aristotle's Logic Francesco Patrizi da Cherso's Criticism of Aristotle's Logic. Vivarium 45 (1):113-124.score: 21.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Laurens Landeweerd & Ivo van Hilvoorde (2008). Disability or Extraordinary Talent—Francesco Lentini (Three Legs) Versus Oscar Pistorius (No Legs). Sport, Ethics and Philosophy 2 (2):97-111.score: 18.0
    It seems fairly straightforward to describe what should and should not count as a disability into two separate and opposing categories. In this paper we will challenge this assumption and critically reflect on the narrow relations between the concepts of 'talent' and 'disability'. We further relate such matters of terminology and classification to issues of justice in what is conceived of as disability sport. Do current systems of classification do justice to the performances of disabled athletes? Is the organisation of (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  18. Giorgio Jules Mastrobisi (2013). L'essere Oggettivo Come Essere Relativo. Alcune Note a Margine Del Contributo di Paolo Bellan, a Partire Dalla Lettura Dei Saggi di Francesco Emmolo E Carlo Sini (18/05/2013). [REVIEW] Nóema 4 (4-1).score: 18.0
    The article is the consequence of some critical notes to the contribution of Paolo Bellan, arising from reading of essays of Francesco Emmolo and Carlo Sini and the assumption of a purely phenomenological perspective in the interpretation of the processes of acquisition of scientific knowledge.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. Maurizio Scandella (2013). Immagini Del «Soggetto Della Conoscenza». Una Nota a Margine Del Saggio di Francesco Emmolo (31/01/13). Nóema 4 (4-1).score: 18.0
    La nota entra in dialogo con il saggio di Francesco Emmolo e cerca di comprendere la proposta di Enzo Paci all’interno di una domanda sul “soggetto della conoscenza”. Di esso la storia della filosofia ha presentato molteplici immagini, che entrano in un confronto critico con la comprensione “quotidiana” della relazione conoscitiva.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  20. Luc Deitz (2007). Francesco Patrizi da Cherso's Criticism of Aristotle's Logic. Vivarium 45 (1):113-124.score: 18.0
    Francesco Patrizi da Cherso's Discussiones peripateticae (1581) are one of the most comprehensive analyses of the whole of Aristotelian philosophy to be published before Werner Jaeger's Aristoteles. The main thrust of the argument in the Discussiones is that whatever Aristotle had said that was true was not new, and that whatever he had said that was new was not true. The article shows how Patrizi proves this with respect to the Organon, and deals with the implications for the history (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  21. Lionel A. McKenzie (1981). Natural Right and the Emergence of the Idea of Interest in Early Modern Political Thought: Francesco Guicciardini and Jean de Silhon. History of European Ideas 2 (4):277-298.score: 18.0
    Francesco guicciardini rather than niccolo machiavelli was the first significant theorist to consider the role of interest in moral and political life, But the idea of interest rose to normative status because traditional natural law ethics, Which repressed the pursuit of interest in the name of right reason, Was transformed in the early modern period. The transformed version, It is proposed, Legitimized the pursuit of interest by introducing a philosophy of ethical egoism.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. Belle Cushing (2011). The Poetry of Alessandro De Francesco. Continent 1 (4).score: 18.0
    continent. 1.4 (2011): 286—310. This mad play of writing —Stéphane Mallarmé Somewhere in between mathematics and theory, light and dark, physicality and projection, oscillates the poetry of Alessandro De Francesco. The texts hold no periods or commas, not even a capital letter for reference. Each piece stands as an individual construction, and yet the poetry flows in and out of the frame. Images resurface from one poem to the next, haunting the reader with reincarnations of an object lost in (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. Francesco Fiorentino (2005). Francesco di Meyronnes e la relazione tra la volunà divina e quella umana dopo Duns Scoto. Franciscan Studies 63 (1):159-214.score: 18.0
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  24. Fabrizio Amerini & Francesco (eds.) (2008). Dal Convento Alla Città: Filosofia E Teologia in Francesco da Prato O.P. (Xiv Secolo): Atti Del Convegno Internazionale di Storia Della Filosofia Medievale, Prato, Palazzo Comunale, 18-19 Maggio 2007. [REVIEW] C. Zella.score: 18.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  25. Fabrizio Amerini & Francesco (eds.) (2008). Dal Convento Alla Città: Filosofia E Teologia in Francesco da Prato O. C. Zella.score: 18.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  26. Francesco Bausi (2002). Il mechanicus che scrive libri. Per un nuovo commento alle Invective contra medicum di Francesco Petrarca. Rinascimento 42:67-111.score: 18.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  27. Francesco Bausi (2005). La sconosciuta redazione originaria delle nvective contra medicum di francesco petrarca (libro I) in un codice di danzica. Rinascimento 45:91-115.score: 18.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  28. Francesco Bausi (2005). The Unknown Original Editorial Unit of the'Invective Contra Medicum'by Francesco Petrarca (Book I) in a Code by Danzica. Rinascimento 45:91-115.score: 18.0
    No categories
     
    My bibliography  
     
    Export citation  
  29. Francesco Camera (2004). Francesco Camera, Il confronto di Heidegger con l'ontologia schellinghiana. Giornale di Metafisica 26 (1):91-127.score: 18.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  30. Francesco de Carolis (2009). Francesco Maria Spinelli, Vita, e studj scritta da lui medesimo in una lettera, a cura di Fabrizio Lomonaco; Tommaso Rossi, Opere filosofiche, a cura di Angelomichele De Spirito. Rivista di Storia Della Filosofia 3:623.score: 18.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  31. Francesco Fiorentino (2006). Durata e necessità temporale in Matteo d'Acquasparta, Francesco di Meyronnes, Gregorio da Rimini e Giovanni di Mirecourt. Gregorianum 87 (3):597-622.score: 18.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  32. Francesco Fiorentino (2006). Francesco di Meyronnes: Liberta E Contingenza Nel Pensiero Tardo-Medievale. Edizioni Antonianum.score: 18.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  33. Francesco Forte (1985). Comment on" Political Economy and Social Philosophy" Francesco Forte. In Peter Koslowski (ed.), Economics and Philosophy. J.C.B. Mohr. 33.score: 18.0
     
    My bibliography  
     
    Export citation  
  34. Francesco (2005). La Logica di Francesco da Prato: Con l'Edizione Critica Della Loyca E Del Tractatus de Voce Univoca. Sismel, Edizioni Del Galluzzo.score: 18.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  35. Carlotta Santini (2014). Interrogare la Sfinge: Immagini di Platone in Nietzsche (1881–1887) by Francesco Ghedini (Review). Journal of Nietzsche Studies 44 (3):505-507.score: 18.0
    A word of warning I would offer to those approaching this excellent book by Francesco Ghedini is that it cannot be read alone. For it is the latest, and perhaps not the last, chapter of a long and continuous study of the figure of Plato in Nietzsche’s work that Ghedini began more than a decade ago. In it, Ghedini deals with Nietzsche’s mature works from 1881 to 1887, searching out the images of Plato to be found in them and (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. Lauren J. Apfel, Amalia Avramidou, Anne Balansard, Gilles Dorival, Mireille Loubet, Lee L. Brice, Jennifer T. Roberts, Peter Burian & Alan Shapiro (2011). Ademollo, Francesco. The Cratylus of Plato: A Commentary. Cambridge: Cam-Bridge University Press, 2011. Xx+ 538 Pp. 1 Black-and-White Fig. Cloth, $140. Adler, Eric. Valorizing the Barbarians: Enemy Speeches in Roman Historiography. Austin: University of Texas Press, 2011. Xiii+ 269 Pp. Cloth, $55. Africa, Thomas W. A Historian's Palette: Studies in Greek and Roman History. [REVIEW] American Journal of Philology 132:683-690.score: 15.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. Daniel Moseley (2008). Review of "Cartographies of the Mind" (Eds., Massimo Marraffa, Mario De Caro and Francesco Ferretti). [REVIEW] Philosophical Psychology 21 (5):709-712.score: 15.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  38. Keith Campbell (2008). Review of Simone Gozzano, Francesco Orilia (Eds.), Tropes, Universals and the Philosophy of Mind: Essays at the Boundary of Ontology and Philosophical Psychology. [REVIEW] Notre Dame Philosophical Reviews 2008 (8).score: 15.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. Giorgio Lando (2007). Teorie Dell'assurdo. I Rivali Del Principio di Non-Contraddizione – by Francesco Berto. Dialectica 61 (2):291–295.score: 15.0
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  40. V. McGee (2011). Francesco Berto. There's Something About Godel. Malden, Mass., And Oxford: Wiley-Blackwell, 2009. Isbn 978-1-4051-9766-3 (Hbk); 978-1-4051-9767-0 (Pbk). Pp. XX + 233. English Translation of Tutti Pazzi Per Godel! (Rome: Gius, Laterza & Figli, 2008). [REVIEW] Philosophia Mathematica 19 (3):367-369.score: 15.0
  41. Chaim Wirszubski (1974). Francesco Giorgio's Commentary on Giovanni Pico's Kabbalistic Theses. Journal of the Warburg and Courtauld Institutes 37:145-156.score: 15.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  42. Luc Deitz (1997). "Falsissima Est Ergo Haec De Triplici Substantia Aristotelis Doctrina." a Sixteenth-Century Critic of Aristotle" Francesco Patrizi Da Cherso On Privation, Form, and Matter1. Early Science and Medicine 2 (3):227-250.score: 15.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  43. Don Ross (2008). Francesco Guala the Methodology of Experimental Economics. British Journal for the Philosophy of Science 59 (2):247-252.score: 15.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  44. Geoffrey Bagwell (2012). The Cratylus of Plato: A Commentary. By Francesco Ademollo. [REVIEW] Ancient Philosophy 32 (1):190-193.score: 15.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  45. D. S. Chambers (1976). The Housing Problems of Cardinal Francesco Gonzaga. Journal of the Warburg and Courtauld Institutes 39:21-58.score: 15.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  46. P. Cariani (2012). Mind, a Machine? Review of “The Search for a Theory of Cognition: Early Mechanisms and New Ideas” Edited by Stefano Franchi and Francesco Bianchini. Constructivist Foundations 7 (3):222-227.score: 15.0
    Upshot: Written by recognized experts in their fields, the book is a set of essays that deals with the influences of early cybernetics, computational theory, artificial intelligence, and connectionist networks on the historical development of computational-representational theories of cognition. In this review, I question the relevance of computability arguments and Jonasian phenomenology, which has been extensively invoked in recent discussions of autopoiesis and Ashby’s homeostats. Although the book deals only indirectly with constructivist approaches to cognition, it is useful reading for (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. Giovanni Galli (2002). A Regulated Suasion: The Regulating Lines of Francesco di Giorgio and Philibert de L'Orme. Journal of the Warburg and Courtauld Institutes 65:95-131.score: 15.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  48. Richard Stalley (2012). Ademollo, Francesco, The Cratylus of Plato: A Commentary. Cambridge: Cambridge University Press, 2011. Pp 538 + Xx. 85. ISBN 978-0-521-76347-9. [REVIEW] International Journal of the Platonic Tradition 6 (1):147-149.score: 15.0
    This article is currently available as a free download on ingentaconnect.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  49. Paolo Casini (2007). Francesco Bianchini (1662-1729) und die europäische gelehrte Welt um 1700. Early Science and Medicine 12 (1):109-111.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. Pamela M. Huby (1979). Francesco Sarri: Socrate e la genesi storica dell'idea occidentale di anima. 2 vols. Pp. 211 and 216. Rome: Abete, 1975. Stiff Paper, L. 6,000. [REVIEW] The Classical Review 29 (01):163-.score: 15.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000