Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

MTM2008-01139

Financiado

LOGICA ALGEBRAICA Y LOGICAS NO CLASICAS

ESTE PROYECTO ES CONTINUACION Y AMPLIACION DEL PROYECTO MTM2004-03101 (Y DE LOS BFM2001-3329, PB97-0888, PB94-0920, PB90-0465-C02-01 Y PB86-0269), SU OBJETIVO ES EL DE AVANZAR EN LA INVESTIGACION DE LAS PROPIEDADES MATEMATICAS DE... ver más

01/01/2008

41K€

Presupuesto del proyecto: 41K€

Líder del proyecto

UNIVERSIDAD DE BARCELONA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 327

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2008-01-01 No tenemos la información de la convocatoria

0% 100%

Participantes

Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

MTM2011-25747 LOGICA ALGEBRAICA Y LOGICAS NO CLASICAS 72K€ Cerrado

MTM2016-74892-P LOGICA ALGEBRAICA Y LOGICAS NO CLASICAS 32K€ Cerrado

MTM2009-13842-C02-01 GESTION MECANIZADA DEL CONOCIMIENTO MATEMATICO. APLICACIONES... 52K€ Cerrado

FFI2017-82878-P SEMANTICA RELACIONAL TERNARIA TIPO ROUTLEY-MEYER PARA NEGACI... 15K€ Cerrado

FFI2014-53919-P SEMANTICA BIVALENTE TIPO DUNN Y SEMANTICA RELACIONAL TERNARI... 18K€ Cerrado

FFI2017-82554-P TRADUCCIONES, LOGICAS COMBINADAS, DESCRIPCIONES, LOGICA INTE... 17K€ Cerrado

Líder del proyecto

UNIVERSIDAD DE BARCELONA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 327

Presupuesto del proyecto 41K€

Descripción del proyecto ESTE PROYECTO ES CONTINUACION Y AMPLIACION DEL PROYECTO MTM2004-03101 (Y DE LOS BFM2001-3329, PB97-0888, PB94-0920, PB90-0465-C02-01 Y PB86-0269), SU OBJETIVO ES EL DE AVANZAR EN LA INVESTIGACION DE LAS PROPIEDADES MATEMATICAS DE UN AMPLIO GRUPO DE LOGICAS NO CLASICAS, ENTRE LAS QUE DESTACAN LOGICAS MODALES, LOGICAS MULTIVALORADAS Y LOGICAS SUBESTRUCTURALES, LOS METODOS SERAN LOS DE LA LOGICA ALGEBRAICA TRADICIONAL, INCORPORANDO HERRAMIENTAS DE LA TEORIA DE MODELOS Y DEL ALGEBRA UNIVERSAL, Y OTROS COMO DIVERSOS TIPOS DE SEMANTICAS CATEGORIALES, LA INVESTIGACION SE LLEVARA A CABO BIEN CENTRANDOSE EN LOGICAS CONCRETAS Y EN CLASES DE ALGEBRAS PARTICULARES, BIEN EN EL PLANO DE LAS TEORIAS GENERALES, TANTO EN LA LOGICA ALGEBRAICA ABSTRACTA (ALGEBRIZABILIDAD, MATRICES GENERALIZADAS, MODELOS PLENOS, MODELOS DE SISTEMAS DE GENTZEN) COMO EN OTRAS DIRECCIONES MAS NOVEDOSAS COMO, LA TEORIA GENERAL DE LA DUALIDAD Y LOS MODELOS CATEGORIALES, SE ABORDARAN TAMBIEN ALGUNAS CUESTIONES COMPUTACIONALES CONCRETAS, EL EQUIPO ESTA FORMADO POR 5 INVESTIGADORES CONSOLIDADOS Y 1 EN FORMACION, ADEMAS DE COLABORACIONES BILATERALES CON VARIOS COLEGAS EXTRANJEROS, EL GRUPO SE COORDINARA ESPECIALMENTE CON EL GRUPO DE ¿LOGICAS MULTIVALUADAS: ESTUDIO LOGICO-ALGEBRAICO Y APLICACIONES DE LA MODELIZACION DE LA IMPRECISION Y LA VAGUEDAD¿ DEL INSTITUTO DE INVESTIGACION EN INTELIGENCIA ARTIFICIAL (IIIA) DEL CSIC (BELLATERRA, BARCELONA), Lógica algebraica\Lógicas no clasicas\Algebra Universal\Estructuras residuadas\Reticulos

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores