Metadata
Author: cordis
Data
German[de]
Für das PROALG-Projekt war die Entwicklung analytischer Beweismethoden für Fuzzy-Logik und andere unkonventionelle Logikformen jedoch keine rein theoretische Aufgabe.
English[en]
The development of analytic calculus proofs for fuzzy logic and other kinds of non-classical logic, was not only a theoretical task for the PROALG project.
Spanish[es]
Para el proyecto PROALG, el desarrollo de las demostraciones de cálculo analítico para lógica difusa y otros tipos de lógica no clásica no fue una tarea teórica solamente.
French[fr]
Mais le développement de preuves de calcul analytiques pour la logique floue et d'autres types de logique non classique n'était pas seulement une tâche théorique pour le projet PROALG.
Italian[it]
Lo sviluppo di prove di calcolo analitico per la logica fuzzy e altri tipi di logica non classica, non era solo un compito teorico per il progetto PROALG.
Polish[pl]
Opracowanie dowodów analizy całkowej dla logiki rozmytej i innych rodzajów logiki nieklasycznej było dla projektu PROALG zadaniem o znaczeniu nie tylko teoretycznym.