Francesc Esteva (100 publications)
2009
"Commutative, integral bounded residuated lattices with an added involution",
Annals of Pure and Applied Logic, vol. 161, issue 2: Elsevier, pp. 150-160, 2009.
Abstract
"Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalences",
Annals of Pure and Applied Logic, vol. 160, issue 1, pp. 53-81, 2009.
"First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties",
Annals of Pure and Applied Logic, vol. 161, issue 2: Elsevier, pp. 185-202, 2009.
Abstract
"Logics preserving degrees of truth from varieties of residuated lattices",
Journal of Logic and Computation (doi:10.1093/logcom/exp030), vol. 19, issue 6: Oxford University Press , pp. 1031-1069, 2009.
Abstract
"On uncertainty and Kripke modalities in t-norm fuzzy logics",
Witnessed Years - Essays in Honour of Petr Hájek. Tributes, no. 10: College Publications, pp. 173-192, 2009.
"On Triangular Norm based Fuzzy Description Logics",
IFSA-EUSFLAT, Calouste Gulbekian Foundation, 20-24 July 2009. Lisbon, Portugal, pp. 891-896, 2009.
Abstract
2008
"Rational completeness results for prominent fuzzy logics with truth-constants",
XIV Congreso Español sobre Tecnologías y Lógica fuzzy (ESTYLF'08), Cuencas Mineras (Mieres - Langreo), pp. 133-139, 17/09/2008.
Abstract
"Exploring a Syntactic Notion of Modal Many-Valued Logics",
Mathware & Soft Computing, vol. 15, issue 2, pp. 175-188, 2008.
Abstract
"On n-contractive Fuzzy Logics. First results",
Uncertainty and Intelligent Information Systems : World Scientific , pp. . 433-445, 2008.
"On triangular norm based axiomatic extensions of the weak nilpotent minimum logic",
Mathematical Logical Quarterly, no. 54, 4, pp. 403 - 425, 2008.
Abstract
"On Fuzzy Description Logics",
CCIA 2008. Frontiers in Aritficial Intelligence and Applications, vol. 184: IOS Press, pp. 411-420, 2008.
"T-norm based fuzzy logics preserving degrees of truth",
IPMU 2008, pp. 1053-1060, 2008.
Abstract
2007
"Sobre lógicas fuzzy basadas en T–normas y los resultados de Monteiro sobre álgebras de Heyting simétricas",
Actas del IX Congreso Dr. António A. R. Monteiro, Bahía Blanca (Argentina), pp. 23-32, 30/05/2007.
Abstract
"Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results",
Fuzzy Sets and Systems, vol. 158, no. 6, pp. 597-618, 2007.
Abstract
"Fuzzy-set Based Logics --- An History-oriented Presentation of their Main Developments",
Handbook of the History of Logic, Volume 8: The Many Valued and Non-monotonic Turn in Logic: Elsevier, pp. 325--449, 2007.
"Modal systems based on many-valued logics",
New dimensions in fuzzy logic and related technologies. Proceedings EUSFLAT 2007, vol. I, pp. 177-182, 2007.
Abstract
"On Lukasiewicz logic with truth constants",
Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, ASC 42: Springer-Verlag, pp. 869-875, 2007.
Abstract
"On Completeness Results for Predicate Lukasiewicz, Product, Goedel and Nilpotent Minimum Logics Expanded with Truth-constantsc",
Mathware and Soft Computing, vol. 14, no. 3, pp. 233-246, 2007.
Abstract
"On completeness results for the expansions with truth-constants of some predicate fuzzy logics",
New dimensions in fuzzy logic and related technologies. Proceedings EUSFLAT 2007, vol. II, pp. 21-26, 2007.
Abstract
"Towards the generalization of Mundici's Gamma functor to IMTL algebras: the linearly ordered case",
Algebraic and Proof-theoretic Aspects of Non-classical Logics - Papers in honour of Daniele Mundici on the occasion of his 60th birthday: LNAI 4460, Springer-Verlag, pp. 127-137, 2007.
Abstract
2006
"Generalization of Mundici's functor to linearly ordered involutive monoidal t-norm based logic IMTL",
Second Czech-Catalan conference in Mathematics: Universitat de Barcelona, pp. 20, 2006.
"On rational weak nilpotent minimum logics",
Journal of multiple valued-logic and soft computing, vol. 12, no. 1-2, pp. 9-32, 2006.
Abstract
"On product logic with truth constants",
Journal of Logic and Computation, vol. 16, pp. 205 - 225, 2006.
"On n-contractive fuzzy logics: first results",
Eleventh international conference IPMU 2006, Information processing and management of uncertainty in knowledge-based systems, pp. 1612-1619, 2006.
Abstract
"Real, rational and finite semantics for fuzzy logics",
The Logic of Soft Computing & Workshop of the ERCIM working group on Soft Computing (LSC'06): Universidad de Malaga, pp. 44-48, 2006.