In this paper we characterize, classify and axiomatize all axiomatic extensions of the Nilpotent Minimum Logic. Every axiomatic extension is complete with respect to a class of NM-chains. Given a family of NM-chains the number of elements of the largest odd finite NM-chain in the family and the number of elements of the largest even finite NM-chain in the family turns out to be a complete classifier.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.