Spectral duality for finitely generated nilpotent minimum algebras, with applications

Journal of Logic and Computation

Volumn 17, Issue 4, 2007, Pages 749-765

  Aguzzoli, Stefano ^a   Busaniche, Manuela ^b   Marra, Vincenzo ^a  

^a UNIVERSITY OF MILAN   (Italy)

^b UNIVERSIDAD NACIONAL DEL LITORAL   (Argentina)

Author keywords

Amalgamation; Interpolation; Prime spectrum; Spectral duality; T norm based logics

Indexed keywords

COMPUTATIONAL METHODS; FORMAL LOGIC;

AMALGAMATION; PRIME SPECTRUM; SPECTRAL DUALITY; T-NORM BASED LOGICS;

ALGEBRA;

EID: 34548410836     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exm021     Document Type: Article

References (26)

1. S. Aguzzoli and B. Geria. Comparing the expressive power of some fuzzy logics based on residuated t-norms. In Proceedings of the IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2006, pp. 2012-2019, 2006.
2. M. Baaz, A. Ciabattoni and F. Montagna. Analytic calculi for monoidal t-norm-based logic. Fundamenta Informaticae, 59, 315-332, 2004.
3. M. Busaniche. Free Nilpotent Minimum Algebras. Mathematical Logic Quarterly, 52, 219-236, 2006.
4. J. Czelakowski. Logical matrices and the amalgamation property. Studia Logica, 41, 329-341, 1982.
5. J. Czelakowski and D. Pigozzi. Amalgamation and interpolation in abstract algebraic logic. In Models, Algebras, and Proofs, X. Caicedo and C. H. Montenegro eds, Lecture Notes in Pure and Applied Mathematics, 203, pp. 187-265. 1999.
6. O. M. D'Antona and V. Marra. Computing co-products of finitely presented Gödel algebras. Annals of Pure and Applied Logic, 142, 202-211, 2005.
7. B. A. Davey. Dualities for equational classes of Brouwerian algebras and Heyting algebras. Transactions of the American Mathematical Society, 221, 119-145, 1976.
8. B. A. Davey and H. A. Priestley. Introduction to Lattices and order, 2nd edn. Cambridge University Press, New York, 2002.
9. 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.
10. F. Esteva, L. Godo, P. Hájek and F. Montagna. Hoops and fuzzy logic. Journal of Logic and Computation, 13, 532-555, 2003.
11. D. Gabbay and L. Maksimova. Interpolation and Definability, vol. I, Claredon Press, Oxford, 2004.
12. N. Galatos and H. Ono. Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL. Studia Logica, 83, 279-308, 2006.
13. S. Ghilardi and M. Zawadowski. Sheaves, Games, and Model Completions. Kluwer Academic Publishers, Dordrecht, 2002.
14. J. Gispert i Brasó. Axiomatic extensions of the Nilpotent Minimum Logic. Reports on Mathematical Logic, 37, 113-123, 2003.
15. P. Hájek. Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht, 1998.
16. U. Höhle. Commutative, residuated 1-monoids. In Non-classical Logics and their Applications to Fuzzy Subsets, U. Hole and E. P. Klement eds, Kluwer Academic Publishers, Dordrecht, 1995.
17. A. Horn. Free L-algebras. Journal of Symbolic Logic, 34, 475-480, 1969.
18. S. Jenei. On the structure of rotation invariant semigroups. Archive for Mathematical Logic, 42, 489-514, 2003.
19. S. Jenei and F. Montagna. A Proof of standard completeness for esteva and Godo's Logic MTL. Studia Logica, 70, 183-192, 2002.
20. P. Jipsen and C. Tsinakis. A survey of residuated lattices. In Ordered Algebraic Structures, J. Martinez, ed., pp. 19-56. Kluwer Academic Publisher, Dordrecht, 2002.
21. E. P. Klement, R. Mesiar and E. Pap. Triangular Norms. Kluwer Academic Publishers, Dordrecht, 2000.
22. S. Mac Lane. Categories for the Working Mathematician, 2nd edn. Springer, New York, 1998.
23. E. G. Manes. Algebraic Theories Springer, New York, 1976.
24. C. Noguera, F. Esteva and J. Gispert. Perfect and bipartite IMTL- algebras and disconnected rotations of prelinear semigroups. Archive for Mathematical Logic, 44, 869-886, 2005.
25. H. Ono. Substructural logics and residuated lattices - an introduction. In 50 Years of Studia Logica, V. F. Hendricks and J. Malinowski eds, Trends in Logic vol. 21, Kluwer Academic Publishers, Dordrecht, 2003.
26. S. M. Wang, B. S. Wang and X. Y. Wang. A characterization of truth-functions in the nilpotent minimum logic. Fuzzy Sets and Systems, 145, 253-266, 2004.