Approccio logico alla risoluzione dei problemi
Il principio della funzionalità della verità è un principio di base nella logica polivalente e in particolare nella logica classica. Secondo questo principio, il valore di verità di una formula complessa è determinato unicamente dai valori di verità delle sue sotto-formule. Le informazioni reali però sono inspiegabilmente incomplete, incerte o inconsistenti, il che è in conflitto con questo principio. Una soluzione è estendere la normale deterministica algebrica dei sistemi logici importando l'idea di computazioni non deterministiche per l'informatica. Un tale approccio ha portato all'introduzione di matrici polivalenti non-deterministiche (Nmatrici). Studiare e ampliare questa idea era l'obiettivo del progetto NDMANCL ("Non-deterministic matrices and their applications for non-classical logics"), finanziato dall'UE. Il progetto è riuscito ad aiutare lo sviluppo del quadro semantico di un nuovo formalismo logico, basato sulle Nmatrici e le loro applicazioni. Inoltre, tra i suoi risultati teorici c'è il perfezionamento e l'ampliamento del quadro con l'introduzione di nuove e utili modifiche. Queste hanno permesso alle Nmatrici di includere classi più ampie della logica. In seguito a NSMANCL, è stata sviluppata una metodologia fondazionale per creare semantiche non-deterministiche modulari per logiche non classiche. Inoltre il progetto ha studiato l'applicazione delle Nmatrici nella teoria della dimostrazione, nella deduzione automatica e nella logica fuzzy, che è un ragionamento in condizioni di incertezza. Le Nmatrici si sono rivelate uno strumento potente, l'uso del quale conserva tutti i vantaggi delle ordinarie matrici proposizionali polivalenti ma è applicabile a una gamma di logiche molto più ampia. Adesso concluso, il progetto ha contribuito al riconoscimento e all'adozione del paradigma semantico non deterministico da parte della comunità scientifica.
