1 paper
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…