Showing 1–9 of 9 results for author: Baldi, M P

The external version of a subclassical logic

Authors: Massimiliano Carrara, Michele Pra Baldi

Abstract: A three-valued logic L is subclassical when it is defined by a single matrix having the classical two-element matrix as a subreduct. In this case, the language of L can be expanded with special unary connectives, called external operators. The resulting logic L^e is the external version of L, a notion originally introduced by D. Bochvar in 1938 with respect to his weak Kleene logic. In this paper… ▽ More A three-valued logic L is subclassical when it is defined by a single matrix having the classical two-element matrix as a subreduct. In this case, the language of L can be expanded with special unary connectives, called external operators. The resulting logic L^e is the external version of L, a notion originally introduced by D. Bochvar in 1938 with respect to his weak Kleene logic. In this paper we study the semantic properties of the external version of a three-valued subclassical logic L. We determine sufficient and necessary conditions to turn a model of L into a model of L^e . Moreover, we establish some distinctive semantic properties of L^e. △ Less

Submitted 12 February, 2025; originally announced February 2025.

Bochvar algebras: A categorical equivalence and the generated variety

Authors: Stefano Bonzio, Francesco Paoli, Michele Pra Baldi

Abstract: The proper quasivariety BCA of Bochvar algebras, which serves as the equivalent algebraic semantics of Bochvar's external logic, was introduced by Finn and Grigolia in and extensively studied in a recent work by two of these authors. In this paper, we show that the algebraic category of Bochvar algebras is equivalent to a category whose objects are pairs consisting of a Boolean algebra and a meet-… ▽ More The proper quasivariety BCA of Bochvar algebras, which serves as the equivalent algebraic semantics of Bochvar's external logic, was introduced by Finn and Grigolia in and extensively studied in a recent work by two of these authors. In this paper, we show that the algebraic category of Bochvar algebras is equivalent to a category whose objects are pairs consisting of a Boolean algebra and a meet-subsemilattice (with unit) of the same. Furthermore, we provide an axiomatisation of the variety $V(BCA) generated by Bochvar algebras. Finally, we axiomatise the join of Boolean algebras and semilattices within the lattice of subvarieties of V(BCA). △ Less

Submitted 19 December, 2024; originally announced December 2024.

MSC Class: 03G25; 03B60

Equational definitions of logical filters

Authors: Michele Pra Baldi, Adam Přenosil

Abstract: A finitary propositional logic can be given an algebraic reading in two different ways: by translating formulas into equations and logical rules into quasi-equations, or by translating logical rules directly into equations. The former type of algebraic interpretation has been extensively studied and underlies the theory of algebraization. Here we shall develop a systematic theory of the latter typ… ▽ More A finitary propositional logic can be given an algebraic reading in two different ways: by translating formulas into equations and logical rules into quasi-equations, or by translating logical rules directly into equations. The former type of algebraic interpretation has been extensively studied and underlies the theory of algebraization. Here we shall develop a systematic theory of the latter type of algebraic interpretation. More precisely, we consider a semantic form of this property which we call the equational definability of compact filters (EDCF). Paralleling the well-studied hierarchy of variants of the deduction--detachment theorem (DDT), this property also comes in local, parametrized, and parametrized local variants. Our main results give a semantic characterization of each of these variants of the EDCF in a spirit similar to the existing characterizations of the DDT. While the EDCF hierarchy and the DDT hierarchy coincide for algebraizable logics, part of the interest of the EDCF stems from the fact it is often enjoyed even by logics which are not well-behaved in terms of other existing classifications in algebraic logic. △ Less

Submitted 20 January, 2024; originally announced January 2024.

Comments: 37 pages, 0 figures

On the structure of Bochvar algebras

Authors: Stefano Bonzio, Michele Pra Baldi

Abstract: Bochvar algebras consist of the quasivariety BCA playing the role of equivalent algebraic semantics for Bochvar (external) logic, a logical formalism introduced by Bochvar in the realm of (weak) Kleene logics. In this paper, we provide an algebraic investigation of the structure of Bochvar algebras. In particular, we prove a representation theorem based on Plonka sums and investigate the lattice o… ▽ More Bochvar algebras consist of the quasivariety BCA playing the role of equivalent algebraic semantics for Bochvar (external) logic, a logical formalism introduced by Bochvar in the realm of (weak) Kleene logics. In this paper, we provide an algebraic investigation of the structure of Bochvar algebras. In particular, we prove a representation theorem based on Plonka sums and investigate the lattice of subquasivarieties, showing that Bochvar (external) logic has only one proper extension (apart from classical logic), algebraized by the subquasivariety NBCA of BCA. Finally, we prove that both BCA and NBCA enjoy the Amalgamation Property (AP). △ Less

Submitted 14 February, 2024; v1 submitted 9 May, 2023; originally announced May 2023.

Comments: Revised version

MSC Class: Primary: 03G25. Secondary: 03B60

Counting finite linearly ordered involutive bisemilattices

Authors: Stefano Bonzio, Michele Pra Baldi, Diego Valota

Abstract: The class of involutive bisemilattices plays the role of the algebraic counterpart of paraconsistent weak Kleene logic. Involutive bisemilattices can be represented as Plonka sums of Boolean algebras, that is semilattice direct systems of Boolean algebras. In this paper we exploit the Plonka sum representation with the aim of counting, up to isomorphism, finite involutive bisemilattices whose dire… ▽ More The class of involutive bisemilattices plays the role of the algebraic counterpart of paraconsistent weak Kleene logic. Involutive bisemilattices can be represented as Plonka sums of Boolean algebras, that is semilattice direct systems of Boolean algebras. In this paper we exploit the Plonka sum representation with the aim of counting, up to isomorphism, finite involutive bisemilattices whose direct system is given by totally ordered semilattices. △ Less

Submitted 22 July, 2021; originally announced July 2021.

Journal ref: Lecture Notes in Computer Science, vol 11194, 2018

Logics of variable inclusion and the lattice of consequence relations

Authors: Michele Pra Baldi

Abstract: In this paper, firstly, we determine the number of sublogics of variable inclusion of an arbitrary finitary logic L with partition function. Then, we investigate their position into the lattice of consequence relations over the language of L. In this paper, firstly, we determine the number of sublogics of variable inclusion of an arbitrary finitary logic L with partition function. Then, we investigate their position into the lattice of consequence relations over the language of L. △ Less

Submitted 9 March, 2019; originally announced March 2019.

Comments: arXiv admin note: text overlap with arXiv:1804.08897, arXiv:1809.06761

Containment logics: algebraic completeness and axiomatization

Authors: Stefano Bonzio, Michele Pra Baldi

Abstract: The paper studies the containment companion of a logic $\vdash$. This consists of the consequence relation $\vdash^{r}$ which satisfies all the inferences of $\vdash$, where the variables of the conclusion are \emph{contained} into those of the (set of) premises. In accordance with our previous work on logics of left variable inclusion, we show that a different generalization of the Płonka sum con… ▽ More The paper studies the containment companion of a logic $\vdash$. This consists of the consequence relation $\vdash^{r}$ which satisfies all the inferences of $\vdash$, where the variables of the conclusion are \emph{contained} into those of the (set of) premises. In accordance with our previous work on logics of left variable inclusion, we show that a different generalization of the Płonka sum construction, adapted from algebras to logical matrices, allows us to provide a matrix-based semantics for containment logics. In particular, we provide an appropriate completeness theorem for a wide family of containment logics, and we show how to produce a complete Hilbert style axiomatization. △ Less

Submitted 4 May, 2020; v1 submitted 18 September, 2018; originally announced September 2018.

Logic of left variable inclusion and Plonka sums of matrices

Authors: Stefano Bonzio, Tommaso Moraschini, Michele Pra Baldi

Abstract: The paper aims at studying, in full generality, logics defined by imposing a variable inclusion condition on a given logic $\vdash$. It turns out that the algebraic counterpart of the variable inclusion companion of a given logic $\vdash$ is obtained by constructing the Plonka sum of the matrix models of $\vdash$. This association allows to obtain a Hilbert-style axiomatization of the logics of va… ▽ More The paper aims at studying, in full generality, logics defined by imposing a variable inclusion condition on a given logic $\vdash$. It turns out that the algebraic counterpart of the variable inclusion companion of a given logic $\vdash$ is obtained by constructing the Plonka sum of the matrix models of $\vdash$. This association allows to obtain a Hilbert-style axiomatization of the logics of variable inclusion and to describe the structure of their reduced models. △ Less

Submitted 9 April, 2020; v1 submitted 24 April, 2018; originally announced April 2018.

Comments: to appear in Archive for Mathematical Logic

Journal ref: Archive for Mathematical Logic 2020

Undefinability of Standard sequent calculi for Paraconsistent three-valued logics

Authors: S. Bonzio, M. Pra Baldi

Abstract: In this paper we study the deductive properties of a family of 3-valued paraconsistent logics. We define a notion of standard sequent calculus and prove that there is no sound and complete standard sequent calculus for these logics. Moreover, we provide non-standard sound, complete and cut free sequent calculus for Paraconsistent Weak Kleene Logic using three-sided sequents. In this paper we study the deductive properties of a family of 3-valued paraconsistent logics. We define a notion of standard sequent calculus and prove that there is no sound and complete standard sequent calculus for these logics. Moreover, we provide non-standard sound, complete and cut free sequent calculus for Paraconsistent Weak Kleene Logic using three-sided sequents. △ Less

Submitted 28 September, 2017; v1 submitted 3 December, 2016; originally announced December 2016.

Comments: We found out that the paper contains some obscure points that can be misleading for the reader; some results shall be revised, deleted and/or replaced. As this process could take long time we would like to withdraw the submission for the moment. Thank you for your comprehension

MSC Class: Primary 03F03. Secondary 03B50; 03B53