Convergence of a formula sequence in two-valued propositional logic

MaRDI QIDQ3180659zbMATH OpenFDO

Authors Jun Li, Di Meng

Publication date 6 January 2017

zbMATH Keywords

convergence in terms of measurementconvergence in terms of truth degreeconvergence in terms of value assignment evaluationlogic metric space

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Recommendations

• Theory of truth degrees of formulas in Łukasiewicz \(n\)-valued propositional logic and a limit theorem
• Convergence of residuated operators and connective stability of non-classical logics
• The general expression of formulas in two-valued propositional logic F(S_n) in the meaning of logical equivalence
• A conditional truth degree of formulas in n-valued propositional logic systems
• Study of the conditional probability truth degree of formulas in the Gödel logic system

Cited in

(1)

• The general expression of formulas in two-valued propositional logic F(S_n) in the meaning of logical equivalence

This page was built for publication: Convergence of a formula sequence in two-valued propositional logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3180659)