dblp.uni-trier.dewww.uni-trier.de

Stefano Aguzzoli

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
20EEStefano Aguzzoli, Simone Bova, Vincenzo Marra: Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. LFCS 2009: 1-15
2008
19EEStefano Aguzzoli, Brunella Gerla, Vincenzo Marra: Gödel algebras free over finite distributive lattices. Ann. Pure Appl. Logic 155(3): 183-193 (2008)
18EEStefano Aguzzoli, Brunella Gerla: Normal forms and free algebras for some extensions of MTL. Fuzzy Sets and Systems 159(10): 1131-1152 (2008)
17EEStefano Aguzzoli, Brunella Gerla, Vincenzo Marra: De Finetti's No-Dutch-Book Criterion for Gödel logic. Studia Logica 90(1): 25-41 (2008)
2007
16 Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday Springer 2007
15EEStefano Aguzzoli, Manuela Busaniche, Vincenzo Marra: Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications. J. Log. Comput. 17(4): 749-765 (2007)
2006
14EEStefano Aguzzoli: An asymptotically tight bound on countermodels for Lukasiewicz logic. Int. J. Approx. Reasoning 43(1): 76-89 (2006)
2005
13EEStefano Aguzzoli, Ottavio M. D'Antona, Vincenzo Marra: Brun Normal Forms for Co-atomic Lukasiewicz Logics. ECSQARU 2005: 650-661
12EEStefano Aguzzoli, Brunella Gerla, Corrado Manara: Poset Representation for Gödel and Nilpotent Minimum Logics. ECSQARU 2005: 662-674
11EEStefano Aguzzoli, Brunella Gerla: Normal Forms for the One-Variable Fragment of Hájek's Basic Logic. ISMVL 2005: 284-289
10EEStefano Aguzzoli, Brunella Gerla, Zuzana Haniková: Complexity issues in basic logic. Soft Comput. 9(12): 919-934 (2005)
2004
9EEStefano Aguzzoli: Uniform Description of Calculi for All t-Norm Logics. ISMVL 2004: 38-43
2002
8EEStefano Aguzzoli, Paolo Avesani, Paolo Massa: Collaborative Case-Based Recommender Systems. ECCBR 2002: 460-474
7EEStefano Aguzzoli, Brunella Gerla: Finite-valued reductions of infinite-valued logics. Arch. Math. Log. 41(4): 361-399 (2002)
2001
6 Stefano Aguzzoli, Paolo Avesani, Brunella Gerla: A Logical Framwork for Fuzzy Collaborative Filtering. FUZZ-IEEE 2001: 1043-1046
5 Stefano Aguzzoli, Daniele Mundici: Weierstrass Approximations by Lukasiewicz Formulas with One Quantified Variable. ISMVL 2001: 361-366
2000
4EEStefano Aguzzoli, Brunella Gerla: Finite-Valued Approximations of Product Logic. ISMVL 2000: 179-184
3 Stefano Aguzzoli, Agata Ciabattoni, Antonio di Nola: Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions. J. Log. Comput. 10(2): 213-222 (2000)
2 Stefano Aguzzoli, Agata Ciabattoni: Finiteness in Infinite-Valued Lukasiewicz Logic. Journal of Logic, Language and Information 9(1): 5-29 (2000)
1998
1EEStefano Aguzzoli: A note on the representation of McNaughton lines by basic literals. Soft Comput. 2(3): 111-115 (1998)

Coauthor Index

1Paolo Avesani [6] [8]
2Simone Bova [20]
3Manuela Busaniche [15]
4Agata Ciabattoni [2] [3] [16]
5Ottavio M. D'Antona [13]
6Brunella Gerla [4] [6] [7] [10] [11] [12] [16] [17] [18] [19]
7Zuzana Haniková [10]
8Corrado Manara [12] [16]
9Vincenzo Marra [13] [15] [16] [17] [19] [20]
10Paolo Massa [8]
11Daniele Mundici [5]
12Antonio di Nola [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)