8 found
See also
Stefano Bonzio
University of Turin
  1.  32
    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   24 citations  
  2.  11
    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.  13
    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   4 citations  
  4.  5
    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)  
    Export citation  
    Bookmark   2 citations  
  5.  21
    Reliability: An Introduction.Stefano Bonzio, Jürgen Landes & Barbara Osimani - 2020 - Synthese:1-10.
  6.  21
    Representing Quantum Structures as Near Semirings.Stefano Bonzio, Ivan Chajda & Antonio Ledda - 2016 - Logic Journal of the IGPL 24 (5).
  7.  87
    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  
  8. 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