Metodo

International Studies in Phenomenology and Philosophy

Journal | Volume | Article

168302

On axiom systems of Słupecki for the functionally complete three-valued logic

Mateusz M. Radzki

pp. 403-415

Abstract

The article concerns two axiom systems of Słupecki for the functionally complete three-valued propositional logic: W1–W6 (from 1936) and A1–A9 (from 1946). The article proves that both of them are inadequate—W1–W6 is semantically incomplete, on the other hand, A1–A9 governs a functionally incomplete calculus, and thus, it cannot be a semantically complete axiom system for the functionally complete three-valued logic.

Publication details

Published in:

(2017) Axiomathes 27 (4).

Pages: 403-415

DOI: 10.1007/s10516-016-9319-x

Full citation:

Radzki Mateusz M. (2017) „On axiom systems of Słupecki for the functionally complete three-valued logic“. Axiomathes 27 (4), 403–415.