Registro:

Referencias:

• Agliano, P., Montagna, F., Varieties of BL-algebras. I. General properties (2003) Journal of Pure and Applied Algebra, 181, pp. 105-129
• Baaz, M., Fermueller, C.G., Zach, R., Elimination of cuts in first-order finite-valued logics (1994) Journal of Information Processing and Cybernetics EIK, 29, pp. 333-355
• Baaz, M., Preining, N., Zach, R., First-order Gödel logics (2007) Annals of Pure and Applied Logic, 147, pp. 23-47
• Blackburn, P., De Rijke, M., Venema, Y., (2001) Modal Logic, , Number 53 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press
• Blackburn, P., Van Benthem, J.F.A.K., Wolter, F., Handbook of modal logic (2006) Elsevier Science Inc, 3. , eds (Studies in Logic and Practical Reasoning)
• Blok, W.J., Pigozzi, D., A finite basis theorem for quasivarieties (1986) Algebra Universalis, 22, pp. 1-13
• Bou, F., Characterizing the generators of McNaughton functions evaluated in a lattice filter (2009) Preparation
• Bou, F., Esteva, F., Godo, L., Exploring a syntactic notion of modal many-valued logics (2008) Mathware and Soft Computing, 15, pp. 175-188
• Burris, S., Sankappanavar, H.P., (2000) A Course in Universal Algebra, , The millennium edition
• Caicedo, X., Rodríguez, R.O., Standard Gödel modal logics Studia Logica, to Appear
• Chagrov, A., Zakharyaschev, M., (1997) Modal Logic, 35. , of Oxford Logic Guides. Oxford University Press
• Ciabattoni, A., Metcalfe, G., Montagna, F., Adding modalities to MTL and its extensions (2005) Proceedings of the Linz Symposium, 2005
• Cignoli, R., D'Ottaviano, I.M.L., Mundici, D., (2000) Algebraic Foundations of Many-valued Reasoning, 7. , of Trends in Logic-Studia Logica Library Kluwer Academic Publishers
• Cintula, P., (2004) From Fuzzy Logic to Fuzzy Mathematics, , Ph.D. Thesis, Czech Technical University in Prague
• Cintula, P., Esteva, F., Gispert, J., Godo, L., Montagna, F., Noguera, C., Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies (2009) Annals of Pure and Applied Logic, 160, pp. 53-81
• Czelakowski, J., (2001) Protoalgebraic Logics, 10. , of Trends in Logic-Studia Logica Library Kluwer Academic Publishers
• Dziobiak, W., Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra (1982) Studia Logica, 41, pp. 415-428
• Esteva, F., Gispert, J., Godo, L., Noguera, C., Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results (2007) Fuzzy Sets and Systems, 158 (6), pp. 597-618. , DOI 10.1016/j.fss.2006.11.010, PII S0165011406005112, The Logic of Soft Computing
• Esteva, F., Godo, L., Monoidal t-norm based logic: Towardsalogic for left-continuous t-norms (2001) Fuzzy Sets and Systems, 124, pp. 271-288
• Esteva, F., Godo, L., Montagna, M., Equational characterization of the subvarieties of BL generated by t-norm algebras (2004) Studia Logica, 76, pp. 161-200
• Fermueller, C.G., Langsteiner, H., Tableaux for finite-valued logics with arbitrary distribution modalities (1998) Lecture Notes in Computer Science, (1397), pp. 156-171. , Automated Reasoning with Analytic Tableaux and Related Methods
• Fitting, M., Many-valued modal logics (1992) Fundamenta Informaticae, 15, pp. 235-254
• Fitting, M., Many-valued modal logics II (1992) Fundamenta Informaticae, 17, pp. 55-73
• Font, J.M., Jansana, R., Pigozzi, D., A survey on abstract algebraic logic, Studia Logica Special Issue on Abstract Algebraic Logic Part II 74 13-97 2003 (2009) With An "update" in, 91, pp. 125-130
• Galatos, N., Jipsen, P., Kowalski, T., Ono, H., (2007) Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Vol. 151 of Studies in Logic and the Foundations of Mathematics, , Elsevier
• Gehrke, M., Priestley, H.A., Non-canonicity of MV-algebras (2002) Houston Journal of Mathematics, 28, pp. 449-455
• Godo, L., Rodríguez, R., A fuzzy modal logic for similarity reasoning (1999) Fuzzy Logic and Soft Computing, pp. 33-48. , G. Chen M. Ying, and K.-Y. Cai, eds Kluwer
• Gottwald, S., (2001) A Treatise on Many-valued Logics, 9. , of Studies in Logic and Computation. Research Studies Press
• Hájek, P., Logics of knowing and believing (1998) Intelligence and Artificial Intelligence. An Interdisciplinary Debate, pp. 96-108. , U. Ratsch M. M. Richter, and I.-O. Stamatescu, eds Springer
• Hájek, P., (1998) Metamathematics of Fuzzy Logic, 4. , of Trends in Logic-Studia Logica Library. Kluwer Academic Publishers
• Hajek, P., Making fuzzy description logic more general (2005) Fuzzy Sets and Systems, 154 (1), pp. 1-15. , DOI 10.1016/j.fss.2005.03.005, PII S0165011405001132
• Hájek, P., On witnessed models in fuzzy logic (2007) Mathematical Logic Quarterly, 53, pp. 66-77
• Hájek, P., On witnessed models in fuzzy logic II (2007) Mathematical Logic Quarterly, 53, pp. 610-615
• Hajek, P., Cintula, P., On theories and models in fuzzy predicate logics (2006) Journal of Symbolic Logic, 71 (3), pp. 863-880. , DOI 10.2178/jsl/1154698581
• Hájek, P., Harmancová, D., A many-valued modal logic (1996) Proceedings IPMU'96. Information Processing and Management of Uncertainty in Knowledge-Based Systems, pp. 1021-1024. , Universidad de Granada
• Hájek, P., Harmancová, D., Esteva, F., Garcia, P., Godo, L., On modal logics for qualitative possibility in a fuzzy setting (1994) Proceedings of the 10th Annual Conference on Uncertainty in Artificial Intelligence (UAI-94), pp. 278-285. , R. López de Mántaras and D. Poole, eds Morgan Kaufmann
• Hájek, P., Montagna, F., Anote on the first-order logic of complete BL-chains (2008) Mathematical Logic Quarterly, 54, pp. 435-446
• Hanikova, Z., A note on the complexity of propositional tautologies of individual t-algebras (2002) Neural Network World, 12 (5), pp. 453-460
• Hansoul, G., Teheux, B., (2006) Completeness Results for Many-valued Łukasiewicz Modal Systems and Relational Semantics, , http://arxiv.org/abs/math/0612542, Available at
• Höhle, U., Commutative residuated l-monoids (1992) Non-classical Logics and Their Applications to Fuzzy Subsets (Linz, 1995, pp. 53-106. , U. Höhle and E. P. Klement, eds Kluwer Academic Publisher
• Jipsen, P., Tsinakis, C., A survey of residuated lattices (2002) Ordered Algebraic Structures, pp. 19-56. , J. Martinez, ed. Kluwer Academic Publishers
• Jónsson, B., Algebras whose congruence lattices are distributive (1967) Mathematica Scandinavica, 21, pp. 110-121
• Kowalski, T., Ono, H., (2001) Residuated Lattices: An Algebraic Glimpse at Logics Without Contraction (Preliminary Report)
• Renardel De Lavalette, G., Kooi, B., Verbrugge, R., Strong completeness and limited canonicity for PDL (2008) Journal of Logic, Language and Information, 17, pp. 69-87
• Litak, T., Kowalski, T., Completions of GBL-algebras: Negative results (2008) Algebra Universalis, 58, pp. 373-384
• Lukasiewicz, T., Straccia, U., Managing uncertainty and vagueness in description logics for the semantic web (2008) Journal of Web Semantics, 6, pp. 291-308
• Metcalfe, G., Olivetti, N., Proof systems for a Gödel modal logic (2009) Proceedings of TABLEAUX, 5607, p. 2009. , of LNAI. M. Giese and A. Waaler, eds Springer
• Montagna, F., Notes on strong completeness in Lukasiewicz, product and BL logics and in their first-order extensions (2007) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 247-274. , 4460 LNAI, Algebraic and Proof-Theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday
• Ono, H., Substructural logics and residuated lattices-an introduction (2003) 50 Years of Studia Logica, 21, pp. 193-228. , of Trends in Logic-Studia Logica Library, V. F. Hendricks and J. Malinowski, eds Dordrecht
• Ostermann, P., Many-valued modal propositional calculi (1988) Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 34, pp. 343-354
• Pitkethly, J., Davey, B., (2005) Dualisability: Unary Algebras and Beyond., 9. , of Advances in Mathematics. Springer
• Surma, S., An algorithm for axiomatizing every finite logic (1974) Reports on Mathematical Logic, 3, pp. 57-61

Citas:

---------- APA ----------

---------- CHICAGO ----------

---------- MLA ----------

---------- VANCOUVER ----------