Cardinality of sets of closed functional classes in weak 3-valued logics

Н. Н. Преловский · Logical Investigations · 2013

This paper proves that sets of closed functional classes in 3-valued logics of Bochvar $B_3$ and Hallden $H_3$ contains a continuum of different closed classes. It is also proven that both of these logics contain a closed functional class which has no basis.

Read the paper · More papers on PaperTik