Descrizione del bando

Titolo del progetto di ricerca in italiano	Classi di indiscernibilità di formule della logica intuizionista
Titolo del progetto di ricerca in inglese	Indiscernibility classes of intuitionistic formulas
Campo principale della ricerca	Mathematics
Sottocampo della ricerca	Mathematical logic
Area CUN	01 - Scienze matematiche e informatiche
S.S.D	MAT/01 - LOGICA MATEMATICA
Descrizione sintetica in italiano	Il progetto riguarda modelli algebrici per una classe di logiche che include le logiche intuizionista e di Łukasiewicz. I reticoli residuati possono fornire tali modelli, in particolare le GBL-algebre sono una generalizzazione comune delle algebre di Heyting e delle MV-algebre, controparti rispettivamente delle logiche intuizionista e di Łukasiewicz. Il prodotto su poset fornisce una rappresentazione per le GBL-algebre in molti casi, tra cui quelli finiti. Un altro approccio consiste nel rappresentare un'algebra come quoziente di un'algebra di Heyting e una relazione di equivalenza determinata da un opportuno gruppo di automorfismi. Nel caso finito si può mostrare l'equivalenza delle due rappresentazioni tramite una dualità di tipo Stone con categorie di poset etichettati. Per il caso generale è necessario un uso più raffinato di alcuni strumenti dell'algebra universale, della topologia e della teoria delle categorie.
Descrizione sintetica in inglese	The project is concerned with algebraic models for a class of logics including intuitionistic and Łukasiewicz logics. Residuated lattices can provide such models, in particular GBL-algebras are a common generalization of Heyting algebras and MV-algebras, counterparts of Intuitionistic and Łukasiewicz logic respectively. Poset product provides a representation for GBL-algebras in many cases, including the finite ones. Another approach is the representation of an algebra as quotient of a Heyting algebra and an equivalence relation determined by a suitable group of automorphisms. In the finite case the two representations can be shown to be equivalent through a Stone-type duality with categories of labeled posets. In the general case a more refined use of tools from universal algebra, topology and category theory is required.
Data del bando	28/10/2014
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/didattica/dipartimenti/articolo2785.html

 

Dettagli dell'assegno di ricerca

Destinatari dell'assegno di ricerca (of target group)	Early stage researcher or 0-4 yrs (Post graduate)

 

Finanziatore

Nome dell'Ente finanziatore	MIUR
Tipologia dell'Ente	Other
Paese dell'Ente	Italy
Città	Roma
Sito web	http://www.istruzione.it/urp/contatti.shtml

 

Contatto presso l'Ente

E-mail	assegni.borse@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	14/11/2014