Bando per assegno di ricerca
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 |
Settore Concorsuale | 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 | 27/03/2015 |
Paesi in cui può essere condotta la ricerca |
OTHER |
Paesi di residenza dei candidati |
OTHER |
Nazionalità dei candidati |
OTHER |
Sito web del bando | http://www4.uninsubria.it/on-line/home/naviga-per-tema/didattica/dipartimenti/articolo2785.html |
Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
---|
Nome dell'Ente finanziatore | Università degli Studi dell'Insubria |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | Varese |
Sito web | http://www4.uninsubria.it/on-line/home.html |
assegni.borse@uninsubria.it |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 13/04/2015 - alle ore 00:00 |
---|