12 citations · 37 across the 14 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
math.LO2024
Bochvar algebras: A categorical equivalence and the generated variety
Stefano Bonzio, Francesco Paoli, Michele Pra Baldi
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 extensiv…
math.LO2024★ 3 cited
On the structure of balanced residuated partially ordered monoids
Stefano Bonzio, José Gil-Férez, Peter Jipsen +2
A residuated poset is a structure where is a poset and is a monoid such that the re…
math.LO2024
Modal weak Kleene logics: axiomatizations and relational semantics
Stefano Bonzio, Nicolò Zamperlin
Weak Kleene logics are three-valued logics characterized by the presence of an infectious truth-value. In their external versions, as they were originally introduced by Bochvar and…