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

Cerrado

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

Fecha límite participación Sin fecha límite de participación.

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%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

Lider

Proyectos interesantes

MTM2011-25747

Applied Physics

Software

72K€ Cerrado

PTASNCL

Applied Physics

Software

219K€ Cerrado

MTM2016-74892-P

Software

Applied Physics

32K€ Cerrado

PLEXUS

Applied Physics

Software

557K€ Cerrado

MATOMUVI

Applied Physics

Software

175K€ Cerrado

ConLog

Applied Physics

Software

2M€ Cerrado

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

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

Presupuesto del proyecto 41K€

Fecha límite de participación Sin fecha límite de participación.

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