Página principal > Resultados de la búsqueda: Witnessed models
  Consejos para la búsqueda
Búsqueda avanzada
Buscar colecciones:
Ordenar por: Mostrar resultados: Formato de visualización:
Resultados globales: 1 registros encontrados en 0.03 segundos.
Artículos, Encontrados 1 registros
Artículos Encontrados 1 registros  
1.
18 p, 190.1 KB On elementary equivalence in fuzzy predicate logics / Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona) ; Esteva Massaguer, Francesc (Institut d'Investigació en Intel·ligència Artificial (IIIA-CSIC))
Our work is a contribution to the model theory of fuzzy predicate logics. In this paper we characterize elementary equivalence between models of fuzzy predicate logic using elementary mappings. Refining the method of diagrams we give a solution to an open problem of Hájek and Cintula (J Symb Log 71(3):863-880, 2006, Conjectures 1 and 2). [...]
2013 - 10.1007/s00153-012-0303-x
Archive for Mathematical Logic, Vol. 52, núm. 1 (2013) , p. 1-17  
Registro completo -

¿Le interesa recibir alertas sobre nuevos resultados de esta búsqueda?
Defina una alerta personal vía correo electrónico o subscríbase al canal RSS.
Depósito Digital de Documentos de la UAB :: Buscar :: Enviar :: Personalizar :: Ayuda
Powered by Invenio v1.1.6
Mantenido por ddd.bib@uab.cat  :: Metadatos sujetos a:
Colaboramos