1. Bolotov, A., Shangin, V.: Natural deduction system in paraconsistent setting: proof search for PCont. J. Intell. Syst. 21, 1–24 (2012)
2. Copi, I.M., Cohen, C., McMahon, K.: Introduction to Logic, 14th edn. Routledge, London (2011)
3. Dwinger, P.: Notes on post algebras. Indag. Math. 28, 462–478 (1966)
4. Dwinger, P.: Generalized post algebras. Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 16, 559–563 (1968)
5. Dwinger, P.: A survey of the theory of Post algebras and their generalizations. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic, pp. 53–75. Reidel, Dordrecht (1977)