Pàgina inicial > Resultats de la cerca: Fuzzy predicate logics
  Consells de cerca
Cerca avançada
Cerca col·leccions:
Ordena'ls per: Mostrar els resultats: Format de visualizació:
Resultats globals: 2 registres trobats en 0.02 segons.
Articles, 2 registres trobats
Articles 2 registres trobats  
1.
15 p, 296.2 KB On the existence of free models in fuzzy universal Horn classes / Costa, Vicent (Universitat Autònoma de Barcelona. Departament de Filosofia) ; Dellunde i Clavé, Pilar (Barcelona Graduate School of Mathematics (BGSMath))
This paper is a contribution to the study of the universal Horn fragment of predicate fuzzy logics, focusing on some relevant notions in logic programming. We introduce the notion of term structure associated to a set of formulas in the fuzzy context and we show the existence of free models in fuzzy universal Horn classes. [...]
2016 - 10.1016/j.jal.2016.11.002
Journal of Applied Logic, In Press (2016)  
Registre complet -
2.
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  
Registre complet -

Us interessa rebre alertes sobre nous resultats d'aquesta cerca?
Definiu una alerta personal via correu electrònic o subscribiu-vos al canal RSS.
Dipòsit Digital de Documents de la UAB :: Cerca :: Lliura :: Personalitza :: Ajuda
Powered by Invenio v1.1.6
Mantingut per ddd.bib@uab.cat  :: Metadades subjectes a:
Col·laborem