Corrigendum to "The logic of tied implications, part 2: Syntax" [Fuzzy Sets and Systems 157(2006)2030-2057] (DOI:10.1016/j.fss.2006.03.004);The logic of tied implications, part 2: Syntax

Fuzzy Sets and Systems

Volumn 157, Issue 15, 2006, Pages 2030-2057

  Morsi, Nehad N ^a   Lotfallah, W ^b   El Zekey, M S ^c  

^a Technology and Maritime Transport ^*  (Egypt)

^b CAIRO UNIVERSITY   (Egypt)

^c Benha High Institute of Technology   (Egypt)

Author keywords

Duality; Henkin theory; Multiple valued logics; Nonclassical logics; Predicate calculus; Prelinear tied adjointness algebra; Propositional calculus

Indexed keywords

COMPUTATIONAL METHODS; LINEAR ALGEBRA; MATHEMATICAL OPERATORS; SET THEORY; THEOREM PROVING;

DUALITY; HENKIN THEORY; MULTIPLE-VALUED LOGICS; NONCLASSICAL LOGICS; PREDICATE CALCULUS; PRELINEAR TIED ADJOINTNESS ALGEBRA; PROPOSITIONAL CALCULUS;

FORMAL LOGIC;

EID: 33744938661     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2006.05.009     Document Type: Erratum

References (17)

1. Abdel-Hamid A.A., and Morsi N.N. Associatively tied implications. Fuzzy Sets and Systems 136 (2003) 291-311
2. Cignoli R., Esteva F., Godo L., and Torrens A. Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Comput. 2 (2000) 106-112
3. Esteva F., Gispert J., Godo L., and Montagna F. On the standard and rational completeness of some axiomatic extensions of Monoidal t-norm based logic. Studia Logica 71 (2002) 393-420
4. Esteva F., and Godo L. Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems 124 (2001) 271-288
5. Esteva F., Godo L., Hájek P., and Montagna F. Hoops and fuzzy logic. J. Logic Comput. 13 (2003) 531-555
6. Gierz G., et al. A Compendium of Continuous Lattices (1980), Springer, Berlin
7. Gottwald S. A Treatise on Many-Valued Logic (2001), Research Studies Press, Baldock
8. Hájek P. Metamathematics of Fuzzy Logic (1998), Kluwer, Dordrecht
9. Höhle U. Commutative residuated ℓ-monoids. In: Höhle U., and Klement E.P. (Eds). Non-classical Logics and Their Applications to Fuzzy Subsets (1995), Kluwer Academic Publishers, Dordrecht 53-106
10. S. Jenei, F. Montagna, A proof of standard completeness for Esteva and Godo's logic MTL, Studia Logica, accepted for publication.
11. Lano K.C. Fuzzy sets and residuated logic. Fuzzy Sets and Systems 47 (1992) 203-220
12. Morsi N.N. Propositional calculus under adjointness. Fuzzy Sets and Systems 132 (2002) 91-106
13. Morsi N.N. A small set of axioms for residuated logic. Inform. Sci. 175 (2005) 85-96
14. N.N. Morsi, Many-valued topological spaces with localization at points, under preparation.
15. Morsi N.N., Lotfallah W., and El-Zekey M.S. The logic of tied implications, Part 1: properties, applications and representation. Fuzzy Sets and Systems 157 (2006) 647-669
16. Pavelka J. On fuzzy logic. Z. Math. Logik, I, II, III 25 (1979) 45-52 119-134, 447-464
17. Shoenfield J.R. Mathematical Logic (1967), Addison-Wesley, New York