Results for 'Umberto Bottazzini'

36 found
Order:
  1. Bilattice Public Announcement Logic.Umberto Rivieccio - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 459-477.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.
    We look at extensions (i.e., stronger logics in the same language) of the Belnap–Dunn four-valued logic. We prove the existence of a countable chain of logics that extend the Belnap–Dunn and do not coincide with any of the known extensions (Kleene’s logics, Priest’s logic of paradox). We characterise the reduced algebraic models of these new logics and prove a completeness result for the first and last element of the chain stating that both logics are determined by a single finite logical (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  3. Representation of interlaced trilattices.Umberto Rivieccio - 2013 - Journal of Applied Logic 11 (2):174-189.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  4. Non-involutive twist-structures.Umberto Rivieccio, Paulo Maia & Achim Jung - 2020 - Logic Journal of the IGPL 28 (5):973-999.
    A recent paper by Jakl, Jung and Pultr succeeded for the first time in establishing a very natural link between bilattice logic and the duality theory of d-frames and bitopological spaces. In this paper we further exploit, extend and investigate this link from an algebraic and a logical point of view. In particular, we introduce classes of algebras that extend bilattices, d-frames and N4-lattices to a setting in which the negation is not necessarily involutive, and we study corresponding logics. We (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Paraconsistent modal logics.Umberto Rivieccio - 2011 - Electronic Notes in Theoretical Computer Science 278:173-186.
    We introduce a modal expansion of paraconsistent Nelson logic that is also as a generalization of the Belnapian modal logic recently introduced by Odintsov and Wansing. We prove algebraic completeness theorems for both logics, defining and axiomatizing the corresponding algebraic semantics. We provide a representation for these algebras in terms of twiststructures, generalizing a known result on the representation of the algebraic counterpart of paraconsistent Nelson logic.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. Neutrosophic logics: prospects and problems.Umberto Rivieccio - 2008 - Fuzzy Sets and Systems 159 (14):1860-1868.
    Neutrosophy has been introduced some years ago by Florentin Smarandache as a new branch of philosophy dealing with “the origin, nature and scope of neutralities, as well as their interactions with different ideational spectra”. A variety of new theories have been developed on the basic principles of neutrosophy: among them is neutrosophic logics, a family of many-valued systems that can be regarded as a generalization of fuzzy logics. In this paper we present a critical introduction to neutrosophic logics, focusing on (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Residuated bilattices.Umberto Rivieccio & Ramon Jansana - 2012 - Soft Computing 16 (3):493-504.
    We introduce a new product bilattice con- struction that generalizes the well-known one for interlaced bilattices and others that were developed more recently, allowing to obtain a bilattice with two residuated pairs as a certain kind of power of an arbitrary residuated lattice. We prove that the class of bilattices thus obtained is a variety, give a finite axiomatization for it and characterize the congruences of its members in terms of those of their lat- tice factors. Finally, we show how (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Varieties of interlaced bilattices.Umberto Rivieccio, Ramon Jansana & Felix Bou Moliner - 2011 - Algebra Universalis 66 (1-2):115-141.
    The paper contains some algebraic results on several varieties of algebras having an (interlaced) bilattice reduct. Some of these algebras have already been studied in the literature (for instance bilattices with conflation, introduced by M. Fit- ting), while others arose from the algebraic study of O. Arieli and A. Avron’s bilattice logics developed in the third author’s PhD dissertation. We extend the representation theorem for bounded interlaced bilattices (proved, among others, by A. Avron) to un- bounded bilattices and prove analogous (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. (1 other version)Logiche polivalenti per l'Intelligenza Artificiale: il sistema di Ginsberg.Umberto Rivieccio - 2005 - Epistemologia 28 (1):25-44.
    Download  
     
    Export citation  
     
    Bookmark  
  10. La structure absente: introduction à la recherche sémiotique.Umberto Eco - 1984 - Mercure de France.
    A mesure qu'ils avancent dans leur œuvre de prospection, les sémioticiens s'aperçoivent que tout est communication, la langue bien sûr, mais aussi les images, les sons, les objets, les gestes, et que tous ces phénomènes constituent des systèmes de signes qui doivent être étudiés en ramenant chaque message aux codes qui en régissent l'émission et la compréhension. Comprendre les systèmes de signes impose toutefois d'envisager les codes comme des structures, puis de recouvrir à des structures toujours plus vastes, dans un (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  11. Angelitus vivere. Pier Damiani e la perfezione eremitica.Umberto Longo - 2021 - Noctua 8 (1–2):320-337.
    This essay analyses Peter Damian’s idea of perfection, by taking into account his texts devoted to the eremitic conversatio avellanita: in particular, Epistles 18, 50, and 109. It answers to the following working question: how is it possible to achieve an ‘angelic’ condition? Particular attention is paid to the ideas of time, space and ascesis.
    Download  
     
    Export citation  
     
    Bookmark  
  12. Intuitionistic Modal Algebras.Sergio A. Celani & Umberto Rivieccio - 2024 - Studia Logica 112 (3):611-660.
    Recent research on algebraic models of _quasi-Nelson logic_ has brought new attention to a number of classes of algebras which result from enriching (subreducts of) Heyting algebras with a special modal operator, known in the literature as a _nucleus_. Among these various algebraic structures, for which we employ the umbrella term _intuitionistic modal algebras_, some have been studied since at least the 1970s, usually within the framework of topology and sheaf theory. Others may seem more exotic, for their primitive operations (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. The Value of the One Value: Exactly True Logic revisited.Andreas Kapsner & Umberto Rivieccio - 2023 - Journal of Philosophical Logic 52 (5):1417-1444.
    In this paper we re-assess the philosophical foundation of Exactly True Logic ($$\mathcal {ET\!L}$$ ET L ), a competing variant of First Degree Entailment ($$\mathcal {FDE}$$ FDE ). In order to do this, we first rebut an argument against it. As the argument appears in an interview with Nuel Belnap himself, one of the fathers of $$\mathcal {FDE}$$ FDE, we believe its provenance to be such that it needs to be taken seriously. We submit, however, that the argument ultimately fails, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Nelson’s logic ????Thiago Nascimento, Umberto Rivieccio, João Marcos & Matthew Spinks - 2020 - Logic Journal of the IGPL 28 (6):1182-1206.
    Besides the better-known Nelson logic and paraconsistent Nelson logic, in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called $\mathcal{S}$. The logic $\mathcal{S}$ was originally presented by means of a calculus with infinitely many rule schemata and no semantics. We look here at the propositional fragment of $\mathcal{S}$, showing that it is algebraizable, in the sense of Blok and Pigozzi, with respect to a variety of three-potent involutive residuated lattices. We thus introduce the first known algebraic (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Complexity of Judgment Aggregation.Ulle Endriss, Umberto Grandi & Daniele Porello - 2012 - Journal of Artificial Intelligence Research 45:481--514.
    We analyse the computational complexity of three problems in judgment aggregation: (1) computing a collective judgment from a profile of individual judgments (the winner determination problem); (2) deciding whether a given agent can influence the outcome of a judgment aggregation procedure in her favour by reporting insincere judgments (the strategic manipulation problem); and (3) deciding whether a given judgment aggregation scenario is guaranteed to result in a logically consistent outcome, independently from what the judgments supplied by the individuals are (the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  16. Finite axiomatizability of logics of distributive lattices with negation.Sérgio Marcelino & Umberto Rivieccio - forthcoming - Logic Journal of the IGPL.
    This paper focuses on order-preserving logics defined from varieties of distributive lattices with negation, and in particular on the problem of whether these can be axiomatized by means Hilbert-style calculi that are finite. On the negative side, we provide a syntactic condition on the equational presentation of a variety that entails failure of finite axiomatizability for the corresponding logic. An application of this result is that the logic of all distributive lattices with negation is not finitely axiomatizable; we likewise establish (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Bilattices with Implications.Félix Bou & Umberto Rivieccio - 2013 - Studia Logica 101 (4):651-675.
    In a previous work we studied, from the perspective ofAlgebraic Logic, the implicationless fragment of a logic introduced by O. Arieli and A. Avron using a class of bilattice-based logical matrices called logical bilattices. Here we complete this study by considering the Arieli-Avron logic in the full language, obtained by adding two implication connectives to the standard bilattice language. We prove that this logic is algebraizable and investigate its algebraic models, which turn out to be distributive bilattices with additional implication (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. The logic of distributive bilattices.Félix Bou & Umberto Rivieccio - 2011 - Logic Journal of the IGPL 19 (1):183-216.
    Bilattices, introduced by Ginsberg as a uniform framework for inference in artificial intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron developed a logical system based on a class of bilattice-based matrices, called logical bilattices, and provided a Gentzen-style calculus for it. This logic is essentially an expansion of the well-known Belnap–Dunn four-valued logic to the standard language of bilattices. Our aim is to study Arieli and Avron’s logic from the perspective of abstract (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  19. An Algebraic View of Super-Belnap Logics.Hugo Albuquerque, Adam Přenosil & Umberto Rivieccio - 2017 - Studia Logica 105 (6):1051-1086.
    The Belnap–Dunn logic is a well-known and well-studied four-valued logic, but until recently little has been known about its extensions, i.e. stronger logics in the same language, called super-Belnap logics here. We give an overview of several results on these logics which have been proved in recent works by Přenosil and Rivieccio. We present Hilbert-style axiomatizations, describe reduced matrix models, and give a description of the lattice of super-Belnap logics and its connections with graph theory. We adopt the point of (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  20. Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections.Stephane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello & Joel Uckelman - 2011 - In Stephane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello & Joel Uckelman (eds.), {IJCAI} 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pp. 18--23.
    Many collective decision making problems have a combinatorial structure: the agents involved must decide on multiple issues and their preferences over one issue may depend on the choices adopted for some of the others. Voting is an attractive method for making collective decisions, but conducting a multi-issue election is challenging. On the one hand, requiring agents to vote by expressing their preferences over all combinations of issues is computationally infeasible; on the other, decomposing the problem into several elections on smaller (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Umberto Eco s Semiotics: Theory, Methodology and Poetics.Bujar Hoxha (ed.) - 2022 - Newcastle upon Tyne, UK: Cambridge Scholars Publishing.
    This text explores four books produced by one of the most prominent semioticians of the previous century, Umberto Eco, in order to create a semiotic meta-theory which enhances a multifarious way of â oereadabilityâ and scientifically justifies the dichotomy between the creation of a work of art and its being read, visualized and experienced by the audience. It begins by treating the â oenarrationâ component as one of the main theoretical challenges of Ecoâ s theory, specifically focusing on the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Umberto Eco's semiotic threshold.Winfried Nöth - 2000 - Sign Systems Studies 28:49-60.
    The "semiotic threshold" is U. Eco's metaphor of the borderline between the world of semiosis and the nonsemiotic world and hence also between semiotics and its neighboring disciplines. The paper examines Eco's threshold in comparison to the views of semiosis and semiotics of C. S. Peirce. While Eco follows the structuralist tradition, postulating the conventionality of signs as the main criterion of semiosis, Peirce has a much broader concept of semiosis, which is not restricted to phenomena of culture but includes (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  23. The Synthetico-Paradoxical Character of Fascism: Can Art Disrupt the Fascist Project?David Casciola - 2022 - Global Conversations: An International Journal in Contemporary Philosophy and Culture (01):40-55.
    In this paper, I interrogate the question of how aesthetics might be used in terms of an antifascist project. The exposition includes two main steps. First, drawing on the work of Umberto Eco and Sven Reichardt, I introduce a perspective on fascism, in which I identify its character as synthetico-paradoxical. Then, I utilize Jacques Rancière’s conception of aesthetics as politics to show how a decentralized understanding of what makes good art can disrupt fascism by appealing to the sense of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. La identidad intertextual: La misteriosa llamada de la reina Loana (The Intertextual Self: The Mysterious Flame of Queen Loana).José Angel García Landa - manuscript
    This is a review of Umberto Eco's novel La misteriosa fiamma della regina Loana (2004) with a special focus on its portrayal of the self and memory, and reflections on the way the novel's treatment reveals the intertextual makeup of personal identity and of ideology, and their grounding in a specific cultural and discursive environment. -/- Note: Downloadable file is in Spanish: "La identidad intertextual: La misteriosa llamada de la reina Loana".
    Download  
     
    Export citation  
     
    Bookmark  
  25. Open and Closed Texts.William Hendricks - 1981 - Semiotica 35 (3/4):361-379.
    A discussion of Umberto Eco's notion of open and closed texts.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. "Il n'y a pas de hors-texte". Semantyka intralingwistyczna i jej filozoficzne oraz kognitywistyczne konsekwencje.Bartosz Żukowski - 2017 - In Ecowskie inspiracje. Semiotyka w komunikacji i kulturze. Lodz: Lodz University Press. pp. 55-66.
    “Il n’y a pas de hors-texte”. Intralinguistic Semantics and Its Philosophical and Cognitive Consequences The aim of this paper is to present and metatheoretically analyse the model of intralinguistic semantics as set forth by Umberto Eco in his Theory of Semiotics. The distinctive feature of this system is the rejection of the realistic category of reference, understood as a correspondence of meaningful units with the extralinguistic domain of interpretation, i.e., with a class of extralinguistic semantic correlates. As a result, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27.  49
    Listening to Different Texts: Between Reich and Eco with Nycz.Małgorzata A. Szyszkowska - 2019 - Eidos. A Journal for Philosophy of Culture 3 (3):5-13.
    In this essay, the author considers intertextuality in contemporary musical work, conceptualizing it not only as a critical category and as an artistic convention, but also as an aesthetic strategy. Listening for texts, as it were, opens the work for influences and gives it new purposes. The multiple texts, which are mutually interdependent, alter each other’s meaning and are “read” and “re-read” during aesthetic experience. Depending on the listener, these meanings are more or less pronounced; some are seen as primary, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. A Gentzen Calculus for Nothing but the Truth.Stefan Wintein & Reinhard Muskens - 2016 - Journal of Philosophical Logic 45 (4):451-465.
    In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  29. UTILIZATION OF SEMIOTICS IN URBAN PLANNING.Bita Jamalpour - 2006 - Honar 24:12-28.
    Semiotics is an innovative science that has latterly entered the field of contemporary research. This knowledge application has become more or less common in urban planning, although gradually and not directly. Various urban phenomena tend to be hidden based on their characteristics, and only their effects can be studied in the city, so semiotics can be an efficient and accurate mechanism to generate qualitative data from cities. This article consists of three sections; First, with an initial review of the fundamental (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Dialectics of the Author-Reader Relationship: Criticizing the Revolutionary Tradition of Stereotypical Propaganda Writing Through Reaffirmation of Authorial Intentionalism.Miguel Elvir Quitain - manuscript
    Propaganda is one of the most apparent avenues of ideological struggle. Amidst the battlefield in the social consciousness, the purpose of this study is to forward revolutionary ideology through intensification of revolutionary propaganda, specifically the pamphlet. It is a crucial step for revolutionaries in the aim to forward their methods of propaganda writing to overcome the illness of stereotypical propaganda writing as described by Mao Zedong. Stereotypical propaganda writing in the practice of progressive propaganda leads to a genesis of a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Outros mundos do futebol: o exercício do isomorfismo linguístico na crônica esportiva.Rafael Duarte Oliveira Venancio - 2014 - Estudos Em Jornalismo E Mídia 11 (1).
    O presente artigo deseja observar como a crônica esportiva de futebol (especialmente a produção textual de Nelson Rodrigues e José Lins do Rego) consegue engendrar, em sua narrativa, mundos possíveis que, mesmo com atributos ficcionais, se vinculam à referencialidade dos fatos ocorridos no esporte. Utilizando-se o arcabouço teórico de Umberto Eco e de David Lewis, o objetivo aqui é refletir acerca desse exercício de isomorfismo linguístico, bem como desvelar as estratégias altermundistas utilizadas.
    Download  
     
    Export citation  
     
    Bookmark  
  32. Mundos Possíveis de Michel Vaillant: Altermundismo nas Histórias em Quadrinhos de Automobilismo.Rafael Duarte Oliveira Venancio - 2014 - Mediação 16 (18).
    Neste artigo, analisa-se como as histórias em quadrinhos sobre automo-bilismo, notadamente a do personagem Michel Vaillant, conseguem en- gendrar, em sua narrativa, mundos possíveis, que, mesmo com atributos ficcionais, se vinculam à referencialidade dos fatos ocorridos no esporte. Utilizando o arcabouço teórico de Umberto Eco e de David Lewis, o objetivo aqui é refletir acerca desse exercício de isomorfismo linguístico, bem como desvelar as estratégias altermundistas utilizadas.
    Download  
     
    Export citation  
     
    Bookmark  
  33. When Time Stumbled: Judges as Postmodern.Don Michael Hudson - 1999 - Dissertation, Westminster Theological Seminary
    What do we do with Judges? This two-edged word? This ambidextrous book? These ambivalent heroes? The Judges were drawing their last fleeting breaths shipwrecked and scattered upon the shores of historical-critical-grammatical-linear-modernist-masculine interpretation. "The narrative is primitive," they said. "The editors have made a mess," they exclaimed. "The conclusion is really an appendix," another said. Then the bible-acrobats jumped in pretending there was no literary carnage while at the same time drawing our eyes away from the literary carnage. "No, no, there (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. L'injustice épistémique : questions de vérité et méthode.Coline Sénac - 2022 - Labyrinth: An International Journal for Philosophy, Value Theory and Sociocultural Hermeneutics 24 (1):135-156.
    This article proposes the comparison of two methods of analysis, semiotics, and hermeneutics, to address contemporary issues in ethical and political philosophy, through the study of the phenomenon of epistemic injustice. Conceptualized by Fricker (2007), epistemic injustice is synonymous with the denial of the value of knowledge that an individual possesses because of prejudices about the social group to which he or she belongs or is affiliated. When epistemic injustice is studied in the empirical world, it poses some crucial issues (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. La precisione della matematica e l’infinito nel De docta ignorantia di Nicola Cusano.Andrea Fiamma - 2012 - In D. Bosco et al. (a cura di), <Testis fidelis. Studi di filosofia e scienze umane in onore di Umberto Galeazzi>, Orthotes editrice, Napoli 2012, p. 325-342. pp. 325--342.
    Il contributo consiste in una analisi e commento della prima sezione del De docta ignorantia di Nicola Cusano (capp. I-XVI), dedicata ai concetti di precisione matematica e di uguaglianza. Il saggio offre la possibilità di ripercorrere la teoria della conoscenza di Cusano, laddove l'impossibilità per la ragione di giungere ad una mens-ura precisa dell'oggetto da conoscere non si trasforma in una mera cultura del limite, bensì la filosofia negativa diviene base per la mistica. In altri termini l'obiettivo specifico del saggio (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Che cosa ci facciamo qui?Achille C. Varzi - 2007 - In Sandro Montalto (ed.), Umberto Eco: l’uomo che sapeva troppo. Edizioni ETS. pp. 253–256.
    A short dialogue around the question of whether the thoughts expressed by the characters of an historical novel belong to the characters or to the author.
    Download  
     
    Export citation  
     
    Bookmark