Consistency of Finite Theory in Three Types of Many-Valued Propositional Logic Systems

Li-Feng Li

doi:10.1109/CSIE.2009.77

Computer Science and Information Engineering, World Congress on

Consistency of Finite Theory in Three Types of Many-Valued Propositional Logic Systems

Year: 2009, Volume: 4, Pages: 651-654

DOI Bookmark: 10.1109/CSIE.2009.77

Authors

Li-Feng Li

Abstract

In many-valued propositional logic systems, Let

Γ

$\Gamma$ be a finite theory, there is a question that if

Γ

$\Gamma$ is a consistency theory in

n_{1}

$n_{1}$ -valued logic, is it consistent in

n_{2}

$n_{2}$ -valued logic? In this paper, we answer this question in following three prominent many-valued propositional logic systems.i.e. \L ukasiewicz many-valued propositional logic systems

L_{n}

$L_{n}$ , G\"{o}del many-valued propositional logic systems

G_{n}

$G_{n}$ , and the

R_{0}

$R_{0}$ -type many-valued propositional logic systems(NM logic)

L_{n}^{*}

$\mathcal{L}^{*}_{n}$ . The result shows that in different logic systems the conclusion is different.

Like what you’re reading?

Already a member?

Get this article FREE with a new membership!

Semantic Minimization of 3-Valued Propositional Formulae
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science
Propositional Skew Boolean Logic
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)
Many-valued tense logic and the problem of determination
Proceedings of the Twentieth International Symposium on Multiple-Valued Logic
(a, t) - Resolution Principle Based on Lattice-Valued Tense Propositional Logic LTP(X)
Innovative Computing ,Information and Control, International Conference on
A Kind of Resolution Method of Linguistic Truth-Valued Propositional Logic Based on LIA
Fuzzy Systems and Knowledge Discovery, Fourth International Conference on
An algebraic method to decide the deduction problem in many-valued propositional calculus
Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)
Many-valued computational logics
Proceedings The Nineteenth International Symposium on Multiple-Valued Logic
Continuous-Valued Logic Algebra Studies on the Basic of Mathematical Dialectical Propositional Logic
2010 IEEE International Conference on Granular Computing
Automated Reasoning Algorithm for Linguistic Valued Lukasiewicz Propositional Logic
37th International Symposium on Multiple-Valued Logic (ISMVL'07)
Consistency Degrees of??Theories in Lukasiewicz Fuzzy and n-valued Propositional Logic Systems
2008 Fourth International Conference on Natural Computation

Consistency of Finite Theory in Three Types of Many-Valued Propositional Logic Systems

Authors

Abstract

Related Articles