|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Antonio Ledda, Tomasz Kowalski, Francesco Paoli |
On Certain Quasivarieties of Quasi-MV Algebras.  |
Studia Logica  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Kowalski, Francesco Paoli, Matthew Spinks |
Quasi-subtractive varieties.  |
J. Symb. Log.  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Félix Bou, Francesco Paoli, Antonio Ledda, Matthew Spinks, Roberto Giuntini |
The Logic of Quasi-MV Algebras.  |
J. Log. Comput.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Giuntini, Francesco Paoli, Antonio Ledda |
Categorical Equivalences for sqrt(') quasi-MV Algebras.  |
J. Log. Comput.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Sergioli, Antonio Ledda, Francesco Paoli, Roberto Giuntini, Tomasz Kowalski, Franco Montagna, Hector Freytes, Claudio Marini |
Two cooperative versions of the Guessing Secrets problem.  |
Inf. Sci.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Giuntini, Hector Freytes, Antonio Ledda, Francesco Paoli |
A discriminator variety of Gödel algebras with operators arising in quantum computation.  |
Fuzzy Sets and Systems  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Félix Bou, Francesco Paoli, Antonio Ledda, Hector Freytes |
On some properties of quasi-MV algebras and Ö{cent}\sqrt{^{\prime}} quasi-MV algebras. Part II.  |
Soft Comput.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Giuntini, Antonio Ledda, Francesco Paoli |
Expanding Quasi-MV Algebras by a Quantum Operator.  |
Studia Logica  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Ledda, Martinvaldo Konig, Francesco Paoli, Roberto Giuntini |
MV-Algebras and Quantum Computation.  |
Studia Logica  |
2006 |
DBLP DOI BibTeX RDF |
quasi-MV algebra, residuated structures, fuzzy logic, quantum computation, MV algebra, quantum logic |
| 1 | Francesco Paoli |
*-autonomous Lattices.  |
Studia Logica  |
2005 |
DBLP DOI BibTeX RDF |
autonomous lattice, linear logic, residuated lattice, substructural logics, lattice-ordered group |
| 1 | Francesco Paoli, Greg Restall |
The geometry of non-distributive logics.  |
J. Symb. Log.  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Francesco Paoli |
Quine and Slater on Paraconsistency and Deviance.  |
J. Philosophical Logic  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Paoli |
On the algebraic structure of linear, relevance, and fuzzy logics.  |
Arch. Math. Log.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Paoli |
A Common Abstraction of MV-Algebras and Abelian l-groups.  |
Studia Logica  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Paoli |
Simplified Affine Phase Structures 32.  |
Reports on Mathematical Logic  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Francesco Paoli |
Simplified Affine Phase Structures.  |
Reports on Mathematical Logic  |
1998 |
DBLP BibTeX RDF |
|
| 1 | Francesco Paoli |
S is Constructively Complete.  |
Reports on Mathematical Logic  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Francesco Paoli |
Semantics for First Degree Relatedness Logic.  |
Reports on Mathematical Logic  |
1993 |
DBLP BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|