11 found
Order:
See also
Stefano Bonzio
University of Turin
  1.  36
    On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.Stefano Bonzio, José Gil-Férez, Francesco Paoli & Luisa Peruzzi - 2017 - Studia Logica 105 (2):253-297.
    Paraconsistent Weak Kleene logic is the 3-valued logic with two designated values defined through the weak Kleene tables. This paper is a first attempt to investigate PWK within the perspective and methods of abstract algebraic logic. We give a Hilbert-style system for PWK and prove a normal form theorem. We examine some algebraic structures for PWK, called involutive bisemilattices, showing that they are distributive as bisemilattices and that they form a variety, \, generated by the 3-element algebra WK; we also (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  2.  13
    A Duality for Involutive Bisemilattices.Stefano Bonzio, Andrea Loi & Luisa Peruzzi - 2019 - Studia Logica 107 (2):423-444.
    We establish a duality between the category of involutive bisemilattices and the category of semilattice inverse systems of Stone spaces, using Stone duality from one side and the representation of involutive bisemilattices as Płonka sum of Boolean algebras, from the other. Furthermore, we show that the dual space of an involutive bisemilattice can be viewed as a GR space with involution, a generalization of the spaces introduced by Gierz and Romanowska equipped with an involution as additional operation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3. How to Believe Long Conjunctions of Beliefs: Probability, Quasi-Dogmatism and Contextualism.Stefano Bonzio, Gustavo Cevolani & Tommaso Flaminio - forthcoming - Erkenntnis:1-26.
    According to the so-called Lockean thesis, a rational agent believes a proposition just in case its probability is sufficiently high, i.e., greater than some suitably fixed threshold. The Preface paradox is usually taken to show that the Lockean thesis is untenable, if one also assumes that rational agents should believe the conjunction of their own beliefs: high probability and rational belief are in a sense incompatible. In this paper, we show that this is not the case in general. More precisely, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  15
    Dualities for Płonka Sums.Stefano Bonzio - 2018 - Logica Universalis 12 (3-4):327-339.
    Płonka sums consist of an algebraic construction similar, in some sense, to direct limits, which allows to represent classes of algebras defined by means of regular identities. Recently, Płonka sums have been connected to logic, as they provide algebraic semantics to logics obtained by imposing a syntactic filter to given logics. In this paper, I present a very general topological duality for classes of algebras admitting a Płonka sum representation in terms of dualisable algebras.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  6
    Containment Logics: Algebraic Completeness and Axiomatization.Stefano Bonzio & Michele Pra Baldi - 2021 - Studia Logica 109 (5):969-994.
    The paper studies the containment companion of a logic \. This consists of the consequence relation \ which satisfies all the inferences of \, where the variables of the conclusion are contained into those of the set of premises, in case this is not inconsistent. In accordance with the work started in [10], we show that a different generalization of the Płonka sum construction, adapted from algebras to logical matrices, allows to provide a matrix-based semantics for containment logics. In particular, (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  6.  27
    Reliability: An Introduction.Stefano Bonzio, Jürgen Landes & Barbara Osimani - 2020 - Synthese (Suppl 23):1-10.
    How we can reliably draw inferences from data, evidence and/or experience has been and continues to be a pressing question in everyday life, the sciences, politics and a number of branches in philosophy (traditional epistemology, social epistemology, formal epistemology, logic and philosophy of the sciences). In a world in which we can now longer fully rely on our experiences, interlocutors, measurement instruments, data collection and storage systems and even news outlets to draw reliable inferences, the issue becomes even more pressing. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. A Logic for a Critical Attitude?Federico Boem & Stefano Bonzio - forthcoming - Logic and Logical Philosophy:1-28.
    Individuating the logic of scientific discovery appears a hopeless enterprise. Less hopeless is trying to figure out a logical way to model the epistemic attitude distinguishing the practice of scientists. In this paper, we claim that classical logic cannot play such a descriptive role. We propose, instead, one of the three-valued logics in the Kleene family that is often classified as the less attractive one, namely Hallden’s logic. By providing it with an appropriate epistemic interpretation, we can informally model the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  21
    Representing Quantum Structures as Near Semirings.Stefano Bonzio, Ivan Chajda & Antonio Ledda - 2016 - Logic Journal of the IGPL 24 (5).
  9.  6
    A Logical Modeling of Severe Ignorance.Stefano Bonzio, Vincenzo Fano & Pierluigi Graziani - unknown
    In the logical context, ignorance is traditionally defined recurring to epistemic logic $S_4$ \cite{Hintikka1962}. In particular, an agent ignores a formula $\varphi$ when s/he does not know neither $\varphi$ nor its negation $\neg\varphi$: $\neg\K\varphi\land\neg\K\neg\varphi$. In other words, ignorance is essentially interpreted as ``lack of knowledge''. \textcolor{red}{This received view has - as we point out - some problems, in particular we will highlight how it does not allow to express a type of content-theoretic ignorance, i.e. an ignorance of $\varphi$ that stems (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Sure-Wins Under Coherence: A Geometrical Perspective.Stefano Bonzio, Tommaso Flaminio & Paolo Galeazzi - 2019 - In Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2019. Lecture Notes in Computer Science.
    In this contribution we will present a generalization of de Finetti's betting game in which a gambler is allowed to buy and sell unknown events' betting odds from more than one bookmaker. In such a framework, the sole coherence of the books the gambler can play with is not sucient, as in the original de Finetti's frame, to bar the gambler from a sure-win opportunity. The notion of joint coherence which we will introduce in this paper characterizes those coherent books (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  5
    Reliability: An Introduction.Stefano Bonzio, Jürgen Landes & Barbara Osimani - 2020 - Synthese 198 (S23):5615-5624.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark