1 results
ON THE STRUCTURE OF BOCHVAR ALGEBRAS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 09 May 2024, pp. 1-27
-
- Article
-
- You have access
- HTML
- Export citation
-
Bochvar algebras consist of the quasivariety
$\mathsf {BCA}$ playing the role of equivalent algebraic semantics for Bochvar (external) logic, a logical formalism introduced by Bochvar [4] 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 Płonka 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 
$\mathsf {NBCA}$ of 
$\mathsf {BCA}$. Furthermore, we address the problem of (passive) structural completeness ((P)SC) for each of them, showing that 
$\mathsf {NBCA}$ is SC, while 
$\mathsf {BCA}$ is not even PSC. Finally, we prove that both 
$\mathsf {BCA}$ and 
$\mathsf {NBCA}$ enjoy the amalgamation property (AP).
