المؤلفون: Francesc Esteva, Lluís Godo, Carles Noguera Clofent

المساهمون: Esteva, Francesc, Godo, Lluí, NOGUERA CLOFENT, Carles

مصطلحات موضوعية: t-norm based fuzzy logics, truth-constants, rational semantics, completeness

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-84-691-5807-4; ispartofbook:Actas del XIV congreso español sobre tecnologías y lógica fuzzy ESTYLF 2008; XIV congreso español sobre tecnologías y lógica fuzzy ESTYLF 2008; firstpage:133; lastpage:139; numberofpages:7; http://hdl.handle.net/11365/1200996

الاتاحة: http://hdl.handle.net/11365/1200996

المؤلفون: Roberto Cignoli, Francesc Esteva, Lluís Godo, Carles Noguera Clofent

المساهمون: Yingming Liu, Guoqing Chen, Mingsheng Ying, Cignoli, Roberto, Esteva, Francesc, Godo, Lluí, NOGUERA CLOFENT, Carles

مصطلحات موضوعية: Product logic, truth constants, standard completeness, fuzzy logic

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/9787302113775; ispartofbook:Proceedings of the Eleventh International Fuzzy Systems Association World Congress IFSA 2005; Eleventh International Fuzzy Systems Association World Congress IFSA 2005; volume:2; firstpage:1244; lastpage:1249; numberofpages:6; http://hdl.handle.net/11365/1201011

الاتاحة: http://hdl.handle.net/11365/1201011

المؤلفون: Esteva, Francesc, Godo, Lluis, Noguera, Carles

المساهمون: European Commission, Generalitat de Catalunya

مصطلحات موضوعية: Left-continuous t-norms, Evaluated formulae, Mathematical fuzzy logic, Truth-constants, Realand rational completeness, T-norm based logics

Relation: Postprint; Sí; Soft Computing 14: 273- 284 (2010); http://hdl.handle.net/10261/160412; http://dx.doi.org/10.13039/501100000780; http://dx.doi.org/10.13039/501100002809

الاتاحة: http://hdl.handle.net/10261/160412
https://doi.org/10.1007/s00500-009-0402-8
https://doi.org/10.13039/501100000780
https://doi.org/10.13039/501100002809

المؤلفون: Esteva F., Godo L., Noguera C.

المساهمون: Esteva, F., Godo, L., Noguera, C.

مصطلحات موضوعية: Algebraic logic, First-order predicate non-classical logic, Mathematical fuzzy logic, Residuated lattice, T-norm based fuzzy logic, Truth-constants

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000271342500008; volume:161; issue:2; firstpage:185; lastpage:202; numberofpages:18; journal:ANNALS OF PURE AND APPLIED LOGIC; http://hdl.handle.net/11365/1200770; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-67349123520; https://www.sciencedirect.com/science/article/pii/S0168007209001018?via=ihub

الاتاحة: http://hdl.handle.net/11365/1200770
https://doi.org/10.1016/j.apal.2009.05.014
https://www.sciencedirect.com/science/article/pii/S0168007209001018?via=ihub

المؤلفون: Esteva Massaguer, Francesc, Godo, L., Noguera, C.

مصطلحات موضوعية: Àrees temàtiques de la UPC::Matemàtiques i estadística::Lògica matemàtica, Logic, symbolic and mathematical, Monoidal t-norm based logic, Core predicate fuzzy logics, Rational Pavelka logic, Gödel and nilpotent minimum predicate logics, Expansions with truth-constants, Completeness results, Lògica matemàtica, Classificació AMS::03 Mathematical logic and foundations::03B General logic

وصف الملف: 14 p.

Relation: Mathware & Soft Computing. 2007, vol. 14, núm. 3; Esteva Massaguer, Francesc; Godo, L.; Noguera, C. On completeness results for predicate lukasiewicz, product, gödel and nilpotent minimum logics expanded with truth-constants. "Mathware & Soft Computing", 2007, vol. 14, núm. 3, p. 233-246.; http://hdl.handle.net/2099/10931

الاتاحة: http://hdl.handle.net/2099/10931

المؤلفون: F. Esteva, L. Godo, C. Noguera

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://dmle.cindoc.csic.es/pdf/MATHWARE_2007_14_03_05.pdf.

مصطلحات موضوعية: with truth-constants, completeness

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.589.8338; http://dmle.cindoc.csic.es/pdf/MATHWARE_2007_14_03_05.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.589.8338
http://dmle.cindoc.csic.es/pdf/MATHWARE_2007_14_03_05.pdf

المؤلفون: Savicky P., Cignoli R., Esteva F., Godo L., Noguera C.

المساهمون: Savicky, P., Cignoli, R., Esteva, F., Godo, L., Noguera, C.

مصطلحات موضوعية: Fuzzy logic, Non-classical logic, Product Logic, Standard completene, Truth-constants

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000236613800004; volume:16; issue:2; firstpage:205; lastpage:225; numberofpages:21; journal:JOURNAL OF LOGIC AND COMPUTATION; http://hdl.handle.net/11365/1200736; https://academic.oup.com/logcom/article/16/2/205/955422

الاتاحة: http://hdl.handle.net/11365/1200736
https://doi.org/10.1093/logcom/exi075
https://academic.oup.com/logcom/article/16/2/205/955422

المؤلفون: Francesc Esteva, Joan Gispert, Carles Noguera

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.iiia.csic.es/files/pdfs/1316.pdf.

مصطلحات موضوعية: Basic Fuzzy logic BL, Gödel, Lukasiewicz and Product Logics, t-norm-based logic, expansions with truth-constants

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.581.3329; http://www.iiia.csic.es/files/pdfs/1316.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.581.3329
http://www.iiia.csic.es/files/pdfs/1316.pdf

المؤلفون: Haniková, Zuzana

مصطلحات موضوعية: propositional fuzzy logic, computational complexity, truth constants, axiomatization

وصف الملف: application/pdf

Relation: http://www.nusl.cz/ntk/nusl-40640

الاتاحة: http://www.nusl.cz/ntk/nusl-40640

المؤلفون: Lluís Godo, Amanda Vidal, Francesc Esteva

المساهمون: Ministerio de Economía y Competitividad (España), Generalitat de Catalunya

المصدر: Digital.CSIC. Repositorio Institucional del CSIC
instname

مصطلحات موضوعية: Logic, Section (typography), Product fuzzy logic, 02 engineering and technology, Rational truth-constants, Infinitary rule, 01 natural sciences, Fuzzy logic, Strong standard completeness, Theoretical Computer Science, Arts and Humanities (miscellaneous), 0202 electrical engineering, electronic engineering, information engineering, Calculus, 0101 mathematics, Mathematics, Discrete mathematics, 010102 general mathematics, Modal fuzzy logics, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Modal, Hardware and Architecture, Product (mathematics), 020201 artificial intelligence & image processing, T-norm fuzzy logics, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ad6f20d420698c672473b75070edf26e
https://doi.org/10.1093/logcom/exv046

المؤلفون: Cintula, P. (Petr)

مصطلحات موضوعية: mathematical fuzzy logic, Pavelka-style completeness, MTL logic, Lukasiewicz logics, Product Logic, truth constants, Monteiro–Baaz delta

Relation: urn:pissn: 0165-0114; urn:eissn: 1872-6801; http://hdl.handle.net/11104/0239961

الاتاحة: https://doi.org/10.1016/j.fss.2014.11.021
http://hdl.handle.net/11104/0239961

المؤلفون: Eva Armengol, Francesc Esteva, Àngel Garcı´a-Cerdaòa

المساهمون: Generalitat de Catalunya, Consejo Superior de Investigaciones Científicas (España)

المصدر: Digital.CSIC. Repositorio Institucional del CSIC
instname

مصطلحات موضوعية: Theoretical computer science, Knowledge representation and reasoning, Description logics, Mathematical Fuzzy Logic, Propositional and predicate t-norm based fuzzy logics, Fuzzy logic, Description Logics, Theoretical Computer Science, Description logic, Artificial Intelligence, Monoidal t-norm logic, Fuzzy description logics, Mathematics, Mathematical logic, Fuzzy Description Logics, business.industry, Applied Mathematics, Classical logic, T-norm, Truth constants, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Mathematical fuzzy logic, Artificial intelligence, T-norm fuzzy logics, business, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e535a41165516f2dc7065f42ce211bcc

المؤلفون: Cintula, P. (Petr)

مصطلحات موضوعية: Pavelka style completeness, truth constants, mathematical fuzzy logic

Relation: http://hdl.handle.net/11104/0261521

الاتاحة: http://hdl.handle.net/11104/0261521

المؤلفون: Roberto, Cignoli, Francesc, Esteva, Lluís, Godo, NOGUERA CLOFENT, Carles

مصطلحات موضوعية: Product logic, Product logic, truth constants, standard completeness, fuzzy logic, standard completeness, fuzzy logic, truth constants

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______1820::c8d595f5cde608c100152b85255dd1f9
http://hdl.handle.net/11365/1201011

المؤلفون: Esteva, Francesc, Godo, Lluis, Noguera, Carles

المساهمون: Ministerio de Economía y Competitividad (España), Generalitat de Catalunya, European Geosciences Union

مصطلحات موضوعية: Truth-constants, T-norm based fuzzy logics, Residuated lattices, Mathematical fuzzy logic, First-order predicate non-classical logics, Algebraic logic, phil, eco

Relation: http://hdl.handle.net/10261/160427

الاتاحة: http://hdl.handle.net/10261/160427

المؤلفون: Esteva, Francesc, Gispert, Joan, Godo, Lluis, Noguera, Carles

المساهمون: Ministerio de Economía y Competitividad (España)

مصطلحات موضوعية: Łukasiewicz and product logics, T-norm-based logic, Expansions with truth-constants, Gödel, Rational pavelka logic, Standard completeness, Basic fuzzy logic BL, phil, hist

Relation: http://hdl.handle.net/10261/159904

الاتاحة: http://hdl.handle.net/10261/159904

المؤلفون: Francesc Esteva, Lluís Godo, Carles Noguera

المساهمون: Ministerio de Economía y Competitividad (España), Generalitat de Catalunya, European Geosciences Union

المصدر: Digital.CSIC. Repositorio Institucional del CSIC
instname

مصطلحات موضوعية: Logic, Classical logic, T-norm, First-order predicate non-classical logics, Predicate (mathematical logic), Higher-order logic, Algebraic logic, Mathematical fuzzy logic, Residuated lattices, T-norm based fuzzy logics, Truth-constants, Algebra, Monoidal t-norm logic, T-norm fuzzy logics, Principle of bivalence, Łukasiewicz logic, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2aafb6e8e35e499b520f01d2a0a34730
http://hdl.handle.net/10261/160427

المؤلفون: Savicky, Petr, Cignoli, Roberto, Esteva, Francesc, Godo, Lluis, Noguera, Carles

المساهمون: Consejo Superior de Investigaciones Científicas (España)

مصطلحات موضوعية: Standard completeness, Truth-constants, Fuzzy logic, Product logic, Non-classical logic, phil

Relation: http://hdl.handle.net/10261/160967

الاتاحة: http://hdl.handle.net/10261/160967

المؤلفون: Roberto Cignoli, Carles Noguera, Francesc Esteva, Petr Savický, Lluís Godo

المساهمون: Consejo Superior de Investigaciones Científicas (España)

المصدر: Digital.CSIC. Repositorio Institucional del CSIC
instname

مصطلحات موضوعية: Logic, Matemáticas, Intermediate logic, Standard completeness, Theoretical Computer Science, Arts and Humanities (miscellaneous), Completeness (order theory), Monoidal t-norm logic, Product Logic, Truth-constants, Mathematics, Discrete mathematics, Non-classical logic, Classical logic, Matemática Aplicada, Fuzzy logic, Product logic, Hardware and Architecture, Product (mathematics), Many-valued logic, T-norm fuzzy logics, Software, CIENCIAS NATURALES Y EXACTAS

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a6e57d740f7b80e7cb28d2db7340e628
http://hdl.handle.net/11365/1200736

المؤلفون: Roberto Cignoli, Francesc Esteva, Carles Noguera

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.iiia.csic.es/files/pdfs/1246.pdf.

مصطلحات موضوعية: Product logic, truth constants, standard completeness, fuzzy

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.590.8865; http://www.iiia.csic.es/files/pdfs/1246.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.590.8865
http://www.iiia.csic.es/files/pdfs/1246.pdf