1 problem

0 votes0 replies0 views
Finite matrix nonrepresentability conjecture for Ciuciura's alternative paraconsistent hierarchy
Finite matrix nonrepresentability conjecture. The logics $Ciu^{\ast}_n$ do not admit finite matrix representations.
Conjectureopenfinite-matrix-semantics many-valued-logic paraconsistent-logicarXiv posted 2 days ago

Finite matrix nonrepresentability conjecture for Ciuciura's alternative paraconsistent hierarchy