L-valued propositional logic Lvpl 1

Information Sciences

Volumn 114, Issue 1-4, 1999, Pages 205-235

  Yang, Xu ^a   Keyun, Qin ^a   Jun, Liu ^a   Zhenming, Song ^a  

^a SOUTHWEST JIAOTONG UNIVERSITY   (China)

Author keywords

Compactness; Completeness; Consistence; Deduction theorem; L valued prepositional logic; Satisfiability; Soundness

Indexed keywords

ALGEBRA; THEOREM PROVING;

COMPLETENESS THEOREM; CONSISTENT THEOREM; LATTICE IMPLICATION ALGEBRA; LATTICE VALUED PROPOSITIONAL LOGIC; SOUNDNESS THEOREM;

FORMAL LOGIC;

EID: 0033102237     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0255(98)10053-1     Document Type: Article

References (15)

1. J.A. Goguen, The logic of inexact concepts, Synthese 19 (1969) 325-373.
2. J. Pavelka, On fuzzy logic I, II,III, Zeit. Math. Logik u. Grundl. Math. 25 (1979) 45-52, 119-134, 447-464.
3. V. Novak, First order fuzzy logic, Studia Logica 46 (1) (1982) 87-109.
4. L. Bolc, P. Borowik, Many-Valued Logic, Springer, Berlin, 1994.
5. V. Novak, Fuzzy Sets and Their Applications, Adam Hilger, Bristol, 1989.
6. M.S. Ying, Deduction theorem for many-valued inference, Zeit. Math. Logik u. Grundl. Math. 37 (1991) 533-537.
7. M.S. Ying, The fundamental theorem of ultraproduct in Pavelka's logic, Zeit. Math. Logik u. Grundl. Math. 38 (1992) 197-201.
8. D. Dubois, J. Lang, H. Prade, Fuzzy sets in approximate reasoning, Part I, Inference with possiblity distribution, Part II, Logical approaches, Fuzzy Sets and Systems 40 (1991) 143-202, 203-244.
9. T. Esko, A note on Pavelka's fuzzy logic, Zeit. Math. Logik u. Grundl. Math. 37 (1991) 39-40.
10. F. Esteva, C.P. Garcia, L. Godo, Enriched interval bilattices and partial many valued logics: An approach to deal with graded truth and imprecision, International Journal of Uncertain Fuzziness Knowledge Based System 2 (1994) 37-64.
11. G.-J. Wang, A formal deductive system of fuzzy propositional calculus, Chinese Science Bulletin (in Chinese) 42 (1997) 1041-1045.
12. G.-J. Wang, On the logic foundations of FMP and FMT, Journal of Fuzzy Mathematics 5 (1997) 229-250.
13. G.-J. Wang, On the logic foundations of fuzzy reasoning, Lecture Notes in Fuzzy Mathematics and Computer Science, Creighton University, vol. 4, Omaha, USA, 1997, pp. 1-48.
14. X. Yang, Lattice implication algebras, Journal of Southwest Jiaotong University (in Chinese) 89 (1) (1993) 20-27.
15. X. Yang, Homomorphisms in lattice implication algebras, Proc. of Fifth Many-valued Logical Congress of China (in Chinese), vol. 11, Nanjing, 1992, pp. 206-211.