Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space (Q2457027): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.fss.2007.05.004 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2045923922 / rank | |||
Normal rank |
Revision as of 01:44, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space |
scientific article |
Statements
Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space (English)
0 references
29 October 2007
0 references
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.
0 references
formal deductive system \(\mathcal{L}^{*}\)
0 references
nilpotent minimum logic
0 references
\({R}_0\)-algebra
0 references
maximal consistent theory
0 references
satisfiability theorem
0 references
compactness theorem
0 references
topology
0 references
Cantor space
0 references
deductive closure
0 references