Term Substitution Theorem in First-Order Fuzzy Predicate System

Zheng Bo Zhao

doi:10.4028/www.scientific.net/AMM.190-191.1065

Paper Titles

Research on Signal Transmission Mode of Underground Based on Power Carrier
p.1049

Semi-Global Adaptive Control Using Barrier Lyapunov Functions for a Class of Uncertain Nonlinear Systems
p.1053

Study on Remote Monitoring Visualization System of Roof Support
p.1057

Target Damage Assessment Based on the Detection Information
p.1061

Term Substitution Theorem in First-Order Fuzzy Predicate System
p.1065

The Application of Variable-Structure Control in Theodolite Fast Capture
p.1069

The Design and Implementation of a Multifunctional Programmable Signal Generator
p.1074

The Design of Power Equipment Monitoring System Based on Wireless Sensor Network
p.1079

The Research on Multi-Level Theses Evaluation Model Based on Fuzzy Cluster Analysis
p.1083

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 190-191Term Substitution Theorem in First-Order Fuzzy...

Term Substitution Theorem in First-Order Fuzzy Predicate System

Abstract:

It has given out term substitution theorem in the system K *. R0-algebra is introduced firstly, and then the fuzzy interpretation of the first-order language. It discusses term substitution theorem in the first-order fuzzy predicate system K *.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 190-191)

Pages:

1065-1068

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.190-191.1065

Citation:

Cite this paper

Online since:

July 2012

Authors:

Zheng Bo Zhao

Keywords:

First-Order Fuzzy Predicate, First-Order Language, Term

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Wang Guojun. MV-algebra, BL-algebra, R0-algebra and multi-valued logic [J]. Fuzzy system and mathematics, 2002(2), 1 ~ 14.

Google Scholar

[2] Wang Guojun. The classical mathematical logic and approximate reasoning [M]. Beijing: Science press, (2000).

Google Scholar

[3] Pei Daowu. Simplified axioms system of R0-algebra and independence [J]. Journal of shanxi normal university (natural science edition), 2002, 12(3), 5~9.

Google Scholar

[4] WangGuoJun. Mathematical logic and resolution principle (second edition) [M]. Beijing: science press, (2006).

Google Scholar

[5] Pei Daowu, WangGuoJun. The completeness and its application of formal system L * [J]. Science in China (series E), 2002(1), 56~64.

Google Scholar

[6] Wang Guojun. The full implication triple I method for fuzzy reasoning [J]. Science in China (series E), 1999, 29 (1), 43 ~ 53.

Google Scholar

[7] Pei Daowu, Jiang Hui. A new fuzzy predicate calculus formal system [J]. Journal of northeast normal university (natural science edition), 2003, 35 (1), 23 ~ 30.

Google Scholar

[8] Wang Guojun. A new formal deductive system of Fuzzy propositional calculus [J]. Science Bulletin, 1997, 42(10), 1041~1045.

DOI: 10.1007/bf02882922

Google Scholar

[9] Pei Daowu. The first-order formal system K * and its completeness [J]. Annals of Mathematics, 2002, 23A(6), 675~684.

Google Scholar

[10] Pei Daowu, Wang Guojun. A new fuzzy logic algebra system [J]. Journal of Southwest Jiaotong University, 2000, 35(5), 564~568.

Google Scholar