Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Strutture quantistiche e logiche sottostrutturali: un approccio unificante. |
|---|---|
| Titolo del progetto di ricerca in inglese | Quantum structures and substructural logics: a unifying approach. |
| Campo principale della ricerca | Philosophy |
| Sottocampo della ricerca | Logic |
| Settore Concorsuale | 11 - Scienze storiche, filosofiche, pedagogiche e psicologiche |
| S.S.D | M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA |
| Descrizione sintetica in italiano | Le strutture quantistiche, per esempio orthomodular posets ed effect algebras, catturano alcune delle proprietà algebriche e d’ordine essenziali degli eventi quantistici. Recentemente, è stato mostrato che molte di esse, se equipaggiate di un ordine reticolare, possono essere viste come l-gruppoidi parzialmente residuati. Questi risultati suggeriscono la possibilità di un approccio unificante all’analisi di strutture quantistiche e logiche sottostrutturali. Le ultime hanno come controparte algebrica i l-gruppoidi residuati e permettono il trattamento matematico dell’incertezza e del ragionamento sensibile alle risorse. La ricerca si proporrà lo studio delle strutture quantistiche e dei l-gruppoidi residuati sia da un punto di vista algebrico che deduttivo in una prospettiva unificata, dunque di stabilire nuove connessioni tra sottostrutturalità e concetti chiave emergenti nell’approccio logico-algebrico alla meccanica quantistica. |
| Descrizione sintetica in inglese | Quantum structures, e.g. orthomodular posets and effect algebras, capture some of the essential order-theoretical and algebraic features of quantum events. Recently, it has been shown that some of them, if equipped with a lattice ordering, can be seen as partially residuated l-groupoids. These results hint at the possibility of a unifying approach to the study of quantum structures and substructural logics. The latter have residuated l-groupoids as their algebraic counterpart and can be fruitfully applied to the mathematical treatment of uncertainty and resource-sensitive reasoning. The research will focus on the algebraic and proof-theoretical study of quantum structures and residuated l-groupoids from a unified perspective with the aim of establishing new connections between substructurality and the key concepts arising in the logico-algebraic approach to quantum theory. |
| Data del bando | 26/06/2020 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://dirpersonale.unica.it/concorsi/index.php?page=assegni |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|
| Nome dell'Ente finanziatore | PRIN 2017 - MIU |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Cagliari |
| Sito web | http://www.miur.it |
| antonio.ledda@unica.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 16/07/2020 |
|---|---|
| Come candidarsi | Other |