AGUZZOLI, STEFANO

AGUZZOLI, STEFANO  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 77 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A linear space decision procedure for goedel propositional logic 1-gen-2016 S. Aguzzoli Book Part (author) -
A Logical Descriptor for Regular Languages via Stone Duality 1-gen-2014 S. Aguzzoli + Book Part (author) -
A logical framework for fuzzy collaborative filtering 1-gen-2001 S. Aguzzoli + Book Part (author) -
A note on drastic product logic 1-gen-2014 S. AguzzoliM. BianchiD. Valota Book Part (author) -
A note on minimal axiomatisations of some extensions of MTL 1-mag-2014 S. Aguzzoli + Article (author) -
A note on the representation of McNaughton lines by basic literals 1-gen-1998 S. Aguzzoli Article (author) -
A temporal semantics for basic logic 1-gen-2009 S. AguzzoliM. BianchiV. Marra Article (author) -
Algebraic and Proof-theoretic Aspects of Non-classical Logics : Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday 1-gen-2007 S. AguzzoliV.Marra + Book (editor) -
Algebras of Fuzzy Sets in Logics based on Continuous Triangular Norms 1-gen-2009 S. AguzzoliV. Marra + Book Part (author) -
Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components 1-gen-2021 Aguzzoli Stefano. + Book Part (author) -
An algorithmic desingularization of 3-dimensional toric varieties 1-gen-1994 S. Aguzzoli + Article (author) -
An asymptotically tight bound on countermodels for Łukasiewicz logic 1-set-2006 S. Aguzzoli Article (author) -
Applications of finite duality to locally finite varieties of BL-algebras 1-gen-2009 S. AguzzoliV. Marra + Book Part (author) -
Applications of topological dualities to measure theory in algebraic many-valued logic 1-gen-2011 S. AguzzoliV. Marra + Book (editor) -
Area Editor of "Many-Valued Logic and Algebraic Structures" di SOFT COMPUTING 1-gen-2006 AGUZZOLI, STEFANO Activity -
Automorphism Groups of Finite BL-Algebras 1-gen-2020 Aguzzoli S. + Book Part (author) -
Automorphism groups of Lindenbaum algebras of some propositional many-valued logics with locally finite algebraic semantics 1-gen-2020 Aguzzoli S. Book Part (author) -
Brun normal forms for co-atomic Lukasiewicz logics 1-gen-2005 S. AguzzoliO.M. D'AntonaV. Marra Book Part (author) -
Chapter IX: Free Algebras and Functional Representation for Fuzzy Logics 1-gen-2011 S. Aguzzoli + Book Part (author) -
Collaborative Case-Based Recommender Systems 1-gen-2002 S. Aguzzoli + Book Part (author) -