
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
2009 WRI World Congress on Computer Science and Information Engineering
Consistency of Finite Theory in Three Types of ManyValued Propositional Logic Systems
Los Angeles, California USA
March 31April 02
ISBN: 9780769535074
ASCII Text  x  
LiFeng Li, "Consistency of Finite Theory in Three Types of ManyValued Propositional Logic Systems," Computer Science and Information Engineering, World Congress on, vol. 4, pp. 651654, 2009 WRI World Congress on Computer Science and Information Engineering, 2009.  
BibTex  x  
@article{ 10.1109/CSIE.2009.77, author = {LiFeng Li}, title = {Consistency of Finite Theory in Three Types of ManyValued Propositional Logic Systems}, journal ={Computer Science and Information Engineering, World Congress on}, volume = {4}, year = {2009}, isbn = {9780769535074}, pages = {651654}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSIE.2009.77}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  CONF JO  Computer Science and Information Engineering, World Congress on TI  Consistency of Finite Theory in Three Types of ManyValued Propositional Logic Systems SN  9780769535074 SP651 EP654 A1  LiFeng Li, PY  2009 VL  4 JA  Computer Science and Information Engineering, World Congress on ER   
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSIE.2009.77
In manyvalued propositional logic systems, Let $\Gamma$ be a finite theory, there is a question that if $\Gamma$ is a consistency theory in $ n_{1}$valued logic, is it consistent in $n_{2}$valued logic? In this paper, we answer this question in following three prominent manyvalued propositional logic systems.i.e. \L ukasiewicz manyvalued propositional logic systems $L_{n}$, G\"{o}del manyvalued propositional logic systems $G_{n}$, and the $R_{0}$type manyvalued propositional logic systems(NM logic) $\mathcal{L}^{*}_{n}$. The result shows that in different logic systems the conclusion is different.
Citation:
LiFeng Li, "Consistency of Finite Theory in Three Types of ManyValued Propositional Logic Systems," csie, vol. 4, pp.651654, 2009 WRI World Congress on Computer Science and Information Engineering, 2009
Usage of this product signifies your acceptance of the Terms of Use.