Some properties of the roots of theories in propositional logic systems

Computers and Mathematics with Applications

Volumn 55, Issue 9, 2008, Pages 2086-2093

  Zhang, Jiancheng ^a  

^a QUANZHOU NORMAL UNIVERSITY   (China)

Author keywords

conclusion; Deduction theorem; Divergence degree; Propositional logic system; Root

Indexed keywords

FORMAL LOGIC; PROPORTIONAL CONTROL SYSTEMS; THEOREM PROVING;

DEDUCTION THEOREM; DIVERGENCE DEGREE; PROPOSITIONAL LOGIC SYSTEM;

SET THEORY;

EID: 41049106555     PISSN: 08981221     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.camwa.2007.08.035     Document Type: Article

References (11)

1. Hájek P. Metamathematics of Fuzzy Logic (1998), Kluwer Academic Publishers, Dordrecht
2. Pavelka J. On fuzzy logic II-Enriched residuated lattices and semantics of propositional calculi. Z. Math. Logik Grundlagen Math. 25 (1979) 119-134
3. Wang G.J. Theory of Non-classical Mathematical Logic and Approximate Reasoning (2000), Science in China Press, Beijing (in Chinese)
4. Dubois D., Lang J., and Prade H. Fuzzy set in approximate reasoning. Fuzzy Sets Syst. 40 (1991) 143-244
5. Ying M.S. Compactness, the Löwenheim-Skolem property and the direct product of lattices of truth values. Z. Math. Logik Grundlagen Math. 38 (1992) 521-524
6. Wang G.J. Non-fuzzy versions of fuzzy reasoning in classical logics. Inform. Sci. 138 (2001) 211-236
7. Wang G.J. A formal deductive system for fuzzy propositional calculus. Chinese Sci. Bull. 42 (1997) 1521-1526
8. Wang G.J. Introduction to Mathematical Logic and Resolution Principle (2003), Science in China Press, Beijing (in Chinese)
9. *. Process. Math. 32 (2003) 565-576
10. Gottwald S. A Treatise on Many-Valued Logics, Studies in Logic and Computation (2001), Research Studies Press, Baldock
11. Wang G.J., and Leung Y. Intergrated semantics and logic metric spaces. Fuzzy Sets Syst. 136 (2003) 71-91