Storage Operators and Multiplicative Quantifiers in Many-valued Logics

Journal of Logic and Computation

Volumn 14, Issue 2, 2004, Pages 299-322

  Montagna, Franco ^a  

^a UNIVERSITY OF SIENA   (Italy)

Author keywords

Algebraic semantics; Many valued logics; Multiplicative quantifiers; Storage operators

Indexed keywords

ALGEBRA; FUZZY SETS; ITERATIVE METHODS; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; PROBLEM SOLVING; SEMANTICS; THEOREM PROVING;

ALGEBRAIC SEMANTICS; MANY-VALUED LOGICS; MULTIPLICATIVE QUANTIFIERS; STORAGE OPERATORS;

FORMAL LOGIC;

EID: 2342433182     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/14.2.299     Document Type: Article

References (24)

1. P. Aglianò and F. Montagna. Varieties of basic algebras i: General properties. Journal of Pure and Applied Algebra, 181, 105-129, 2003.
2. P. Aglianò, I.M.A. Ferreirim, and F. Montagna,. Basic hoops: An algebraic study of continuous t-norms. Technical report, 2003.
3. M. Baaz, P. Hájek, F. Montagna, and H. Veith. Complexity of t-tautologies. Annals of Pure and Applied Logic, 113, 3-11, 2002.
4. W.J. Block and D. Pigozzi. Algebraizable Logics, volume 77 of Mem. American Mathematics Society. Amer. Math. Soc., Providence,RI, 1989.
5. A. Ciabattoni, L. Godo, and F. Esteva. T-norms based logics with n-contraction. Neural Network World, 12, 441-452, 2002.
6. R. Cignoli, F. Esteva, L. Godo, and A. Torrens. Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Computing, 4, 106-112, 2000.
7. R.P. Diilworth and M. Ward. Residuated lattices. Transactions of American Mathematical Society, 45, 335-354, 1939.
8. A. Di Nola. Representation and reticulation by quotients of MV-algebras. Ricerche di Matematica. 40, 291-297, 1991.
9. F. Esteva, J. Gispert, L. Godo, and F. Montagna. On the standard and the rational completeness of some axiomatic extensions of the monoidal t-norms logic. Studia Logica, 71, 293-420, 2002.
10. F. Esteva and L. Godo. Monoidal t-norm based logic: Towards a logic for left-continuous t-norms. Fuzzy Sets and Systems, 124, 271-288, 2001.
11. I.M.A. Ferreirim. On Varieties and Quasi Varieties of Hoops and their Reducts. PhD thesis, University of Illinois at Chicago, 1992.
12. P. Hájek. Metamathematics of Fuzzy Logic. Kluwer, 1998.
13. P. Hájek. Fuzzy logic and arithmetical hierarchy III. Studia Logica, 68, 129-142, 2001.
14. P. Hájek. Some hedges for continuous t-norms logics. Neural Networks, 12, 159-164, 2002.
15. P. Jipsen. An overview of resisuated kleene algebras and lattices. Preprint, 2002.
16. F. Montagna. Three complexity problems in quantified fuzzy logic. Studia Logica, 68, 143-152, 2001.
17. F. Montagna and H. Ono. Kripke completeness, undecidability and standard completeness for Esteva and Godo's logic MTL∀. Studia Logica, 71, 227-245, 2002.
18. F. Montagna and S. Jenei. A proof of standard completeness for Esteva and Godo's logic MTL. Studia Logica, 70, 183-192, 2002.
19. H. Ono. Semantics for substructural logics. In Substructural Logics, K. Dosen and P. Schroeder-Heister, eds, pp. 259-291. Oxford University Press, 1993.
20. H. Ono. Algebraic semantics for predicate logics and their completeness. In Studies in Futzyness and Soft Computing, pp. 637-650. Physica Verlag, 1999.
21. M.E. Ragaz. Arithmetische Klassification Von Formelnmenge der Unendlichwenigen Logik. PhD thesis, ETH Zürich, 1981.
22. H. Thiele. On fuzzy quantifiers. In Proceedings of IFSA, pp. 395-398. Seoul, 1993.
23. H. Thiele. On T-quantifiers and S-quantiiers. In Proceedings of the XXIVth ISMVL, pp. 264-270. Boston, 1994.
24. A.S. Troelstra. Lectures on Linear Logic. CSLI Lecture Notes N. 29. Leland Stanford Junior University, 1992.