Diego Valota

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 10

Top Topics

Boolean Algebra

Linearly Ordered

Automated Reasoning

Top Venues

Publications

Pietro Codara, Gabriele Maurina, Diego Valota
Computing Duals of Finite Gödel Algebras. FedCSIS (2020)
Diego Valota
Representations for logics and algebras related to revised drastic product t-norm. Soft Comput. 23 (7) (2019)
Stefano Aguzzoli, Matteo Bianchi, Brunella Gerla, Diego Valota
and Drastic Product logics. Int. J. Approx. Reason. 104 (2019)
Pietro Codara, Francesc Esteva, Lluís Godo, Diego Valota
Connecting Systems of Mathematical Fuzzy Logic with Fuzzy Concept Lattices. IPMU (2) (2018)
Stefano Bonzio, Michele Pra Baldi, Diego Valota
Counting Finite Linearly Ordered Involutive Bisemilattices. RAMiCS (2018)
Stefano Aguzzoli, Matteo Bianchi, Diego Valota
The Classification of All the Subvarieties of DNMG. EUSFLAT/IWIFSGN (1) (2017)
Diego Valota
Computing Uniform Interpolants in Nilpotent Minimum Logic. ISMVL (2017)
Diego Valota
Spectra of Gödel Algebras. TbiLLC (2017)
Stefano Aguzzoli, Matteo Bianchi, Brunella Gerla, Diego Valota
Logic. ECSQARU (2017)
Stefano Aguzzoli, Simone Bova, Diego Valota
Free weak nilpotent minimum algebras. Soft Comput. 21 (1) (2017)
Stefano Aguzzoli, Pietro Codara, Diego Valota, Tommaso Flaminio, Brunella Gerla
Querying with Łukasiewicz logic. FUZZ-IEEE (2015)
Stefano Aguzzoli, Pietro Codara, Tommaso Flaminio, Brunella Gerla, Diego Valota
Querying with Łukasiewicz logic. CoRR (2015)
Pietro Codara, Diego Valota
Valuations in Nilpotent Minimum Logic. ISMVL (2015)
Pietro Codara, Diego Valota
On Gödel Algebras of Concepts. TbiLLC (2015)
Pietro Codara, Diego Valota
Valuations in Nilpotent Minimum Logic. CoRR (2015)
Stefano Aguzzoli, Matteo Bianchi, Diego Valota
A Note on Drastic Product Logic. IPMU (2) (2014)
Simone Bova, Diego Valota
Finite RDP-algebras: duality, coproducts and logic. J. Log. Comput. 22 (3) (2012)