Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space (Q2457027): Difference between revisions

In a previous paper the authors introduced the concept of consistency degrees to measure the extent to which a theory is consistent. In this paper they give necessary and sufficient conditions for a consistent theory to be maximal in \(\mathcal L^{*}\) (Theorems 3.7 and 3.8). Because the conditions from these theorems are not easy to be verified, different simplified sufficient conditions are given (by Theorem 3.16). The structure of a maximal consistent theory in \(\mathcal L ^{*}\) is obtained: it must be the deductive closure of some sets of the form \(S(\alpha)=\{\varphi_1,\varphi_2, \dots\}\) with \(\varphi_i \in \{p_i, \neg p_i, (\neg p^2_i)\&(\neg(\neg p_i)^2)\}\) for all \(i=1,2, \dots\) and where \(p_1, p_2, \dots\) are the propositional variables of \(\mathcal L ^{*}\). Another important result proves the existence of a one-to-one correspondence between the set of all maximal consistent theories and the set of evaluations \(e\) assigning to each propositional variable \(p\) its truth degree \(e(p) \in \{0, \frac{1}{2}, 1\}\). In the second part of the paper, a study of the maximal consistent theories over \(\mathcal L^{*}\) from the topological point of view is presented. A topology on the set of all maximal consistent theories over \(\mathcal L^{*}\) is introduced, some of its topological properties are studied and it is proved that this topological space is a Cantor space.