Descrizione del bando

Titolo del progetto di ricerca in italiano	Probabilità di eventi non classici: algebra, logica e coerenza di assegnamenti
Titolo del progetto di ricerca in inglese	Probability of non-classical events: logic, algebra and coherence of assignments
Area CUN	01 - Scienze matematiche e informatiche
S.S.D	MAT/01 - LOGICA MATEMATICA
Descrizione sintetica in italiano	La teoria della probabilità classica tratta di eventi descrivibili da formule della logica classica e quindi algebricamente identificabili con elementi di un'algebra Booleana. Il progetto riguarda una estensione della teoria della probabilità classica, e cioè le teorie della probabilità di eventi descritti da formule di logiche polivalenti. Questo programma di ricerca si prefigge i seguenti obiettivi: sviluppare la logica modale degli stati sulla logica di Lukasiewicz; sviluppare un'analisi approfondita degli assegnamenti di probabilità su algebre MV, BL e Gödel, in un contesto di algebra universale; determinare un metodo, il più uniforme possibile, per mettere in relazione la coerenza di assegnamenti di probabilità su eventi non-classici da un lato e problemi di soddisfacibilità in opportune varietà di algebre, dall'altro
Descrizione sintetica in inglese	The project is concerned with probability theories of events described by sentences of many-valued logics. Such theories must be an extension of classical probability theory that deals with events that are described by sentences of classical logics, that can be identified with elements of a Boolean algebra. This research program focuses on the following aims: to develop a modal logic of states on Lukasiewicz logic; to pursue a thorough analysis of probability assessments on MV, BL and Godel algebras, in an universal algebraic contest; to determine an uniform method to relate coherence of probability assignments on non-classical events and satisfiability problems in suitable algebraic structures
Data del bando	09/01/2013
Numero di assegnazioni per anno	1
Paesi in cui può essere condotta la ricerca	All
Paesi di residenza dei candidati	All
Nazionalità dei candidati	All
Sito web del bando	http://www4.uninsubria.it/on-line/home/naviga-per-tema/ricerca-scientifica/articolo2785.html

 

Dettagli dell'assegno di ricerca

Destinatari dell'assegno di ricerca (of target group)	Experienced researcher or 4-10 yrs (Post-Doc)

 

Finanziatore

Nome dell'Ente finanziatore	Università degli Studi dell'Insubria
Tipologia dell'Ente	Other
Paese dell'Ente	Italy
Città	Varese
Sito web	http://www4.uninsubria.it/on-line/home.html

 

Contatto presso l'Ente

E-mail	roberto.battisti@uninsubria.it

 

EU Research Framework Programme

L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme?	No

 

Dettagli per la candidatura

Data di scadenza del bando	25/01/2013
Come candidarsi	Other