Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

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 328

Ver Participantes

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

0% 100%

Participantes

Lider

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

Últimas noticias

27-11-2024: Videojuegos y creaci... Se abre la línea de ayuda pública: Ayudas para la promoción del sector del videojuego, del pódcast y otras formas de creación digital

27-11-2024: DGIPYME En las últimas 48 horas el Organismo DGIPYME ha otorgado 1 concesiones

27-11-2024: FUNDACION-EOI En las últimas 48 horas el Organismo FUNDACION EOI ha otorgado 2 concesiones

Líder del proyecto

UNIVERSIDAD DE BARCELONA

Total investigadores 328

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

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores