Impariamo a ragionare , Paoli, Francesco; Crespellani, Carlo; Sergioli, Giuseppe , CUEC, Cagliari, (2009)
 Export: Tagged XML BibTex

La risoluzione di problemi aritmetici in un contesto narrativo, Cirina, Lucia; Usai, Carlotta; Paoli, Francesco , Annali della Facoltà di Sc. Form. , Università di Cagliari, (2006)
 Export: Tagged XML BibTex

Organisation of knowledge and critical thinking: Mangione's contribution to logic, Giuntini, Roberto; Paoli, Francesco; Tagliagambe, Silvano , (2006)
 Export: Tagged XML BibTex

Sperimentare la logica , Dalla Chiara, Maria Luisa; Giuntini, Roberto; Paoli, Francesco , (2004)
 Export: Tagged XML BibTex

Bolzano e le dimostrazioni matematiche, Paoli, Francesco , Rivista di Filosofia, (1991)
 Export: Tagged XML BibTex

The algebraic structure of an approximately universal system of quantum computational gates, Dalla Chiara, M. L.; Freytes, Hector; Giuntini, R.; Ledda, A.; Sergioli, G. , (Submitted) Abstract
 Export: Tagged XML BibTex

Regressive analytical entailments, Paoli, Francesco , Konstanzer Berichte zur Logik und Wissenschaftsheorie, (1992)
 Export: Tagged XML BibTex

A Theoretical and Experimental Analysis of Template Co-update in Biometric Verification Systems, Luca Didaci; Gian Luca Marcialis; Fabio Roli , Joint IAPR Int. Workshop on Structural and Syntactical Pattern Recognition and Statistical Techniques in Pattern Recognition S+SSPR08, 04/12/2008, Orlando (Florida, USA), (2008) Abstract
 Export: Tagged XML BibTex

Combining binary constraint networks in qualitative reasoning., J.J. Li; T. Kowalski; J. Renz; S. Li , 18th European Conference on Artificial Intelligence, Volume 178, Patras, (2008)
 Export: Tagged XML BibTex

Quantum computational logics and possible applications, Dalla Chiara, M.L.; Giuntini, R.; Toraldo di Francia, G , INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, (Submitted)
 Export: Tagged XML BibTex

On some properties of quasi-MV algebras and √quasi-MV algebras. Part III., T. Kowalski; F. Paoli , Reports on Mathematical Logic, (In Press)
 Export: Tagged XML BibTex

A discriminator variety of Goedel algebras with operators arising in quantum computation, Giuntini, Roberto; Freytes, Hector; Ledda, Antonio; Paoli, Francesco , Fuzzy Sets and Systems, Volume 160, p.1082-1098, (2009)
 Export: Tagged XML BibTex

On some properties of quasi-Mv algebras and square root quasi-Mv algebras, Paoli, Francesco; Ledda, Antonio; Giuntini, Roberto; Freytes, Hector , Reports on Mathematical Logic, Volume 44, p.31-63, (2009)
 Export: Tagged XML BibTex

Two cooperative variants of the Guessing Secret Problem, Sergioli, Giuseppe; Ledda, Antonio; Paoli, Francesco; Giuntini, Roberto; Kowalski, Tomasz; Montagna, Franco; Freytes, Hector; Marini, Claudio , Information Sciences, Volume 179, p.3645-3658, (2009)
 Export: Tagged XML BibTex

Abelian logic and the logics of pointed lattice-ordered varieties, Francesco Paoli; Matthew Spinks; Robert Veroff , Logica Universalis, Volume 2, Issue 2, p.209-233, (2008)
 Export: Tagged XML BibTex

A finite fragment of S3., T. Kowalski; J. Slaney , Reports on Mathematical Logic, 2008, Volume 43, p.15-19, (2008)
 Export: Tagged XML BibTex

All splitting logics in the lattice Next(KTB)., T. Kowalski; Y. Miyazaki , Trends in Logic, Volume 27, p.1-15, (2008)
 Export: Tagged XML BibTex

Abelian logic and the logics of pointed lattice-ordered varieties, Paoli, Francesco; Spinks, Matthew; Veroff, Robert , Logica Universalis, Volume 2, Issue 2, p.209-233, (2008)
 Export: Tagged XML BibTex

Completions of GBL-algebras: negative results., T. Kowalski; T. Litak , Algebra Universalis, 08/2008, Volume 58, Issue 4, p.373-384, (2008)
 Export: Tagged XML BibTex

On some properties of quasi-MV algebras and square root quasi-MV algebras, I, Francesco Paoli; Antonio Ledda; Roberto Giuntini; Hector Freytes , Reports on Mathematical Logic, Volume 44, p.53-85, (2008)
 Export: Tagged XML BibTex

On some properties of quasi-MV algebras and square root quasi-MV algebras, II, Felix Bou; Francesco Paoli; Antonio Ledda; Hector Freytes , Soft Computing, Volume 12, Issue 4, p.341-352, (2008)
 Export: Tagged XML BibTex

On some properties of quasi-Mv algebras and square root quasi-Mv algebras. Part 2, Bou, Felix; Paoli, Francesco; Ledda, Antonio; Freytes, Hector , Soft Computing, Volume 12, Issue 4, p.341-352, (2008)
 Export: Tagged XML BibTex

Quantum computational logics and possible applications, Giuntini, R. , INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, Volume 44, p.44–60, (2008)
 Export: Tagged XML BibTex

Self-implications in BCI, T. Kowalski , Notre Dame Journal of Formal Logic, Volume 49, Issue 3, p.295-305, (2008)
 Export: Tagged XML BibTex

Compositional and holistic quantum computational semantics, Giuntini, R.; Dalla Chiara, M.L.; Leporini, R , NATURAL COMPUTING, Volume 6, p.113–132, (2007)
 Export: Tagged XML BibTex