Stefano Aguzzoli

Available identifiers

zbMath Open aguzzoli.stefanoMaRDI QIDQ387624

List of research outcomes

Publication	Date of Publication	Type
Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components	2023-08-17	Paper
Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components	2023-03-30	Paper
Automorphism Groups of Finite BL-Algebras	2022-12-06	Paper
Finite model property and varieties of BL-algebras	2021-10-15	Paper
Strictly join irreducible varieties of BL-algebras: the missing pieces	2021-08-24	Paper
A Note on Drastic Product Logic	2019-08-20	Paper
On linear varieties of MTL-algebras	2019-08-12	Paper
Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics	2019-02-20	Paper
Finite IUML-algebras, Finite Forests and Orthopairs	2019-01-17	Paper
Minimally many-valued extensions of the monoidal t-norm based logic MTL	2018-12-07	Paper
Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops	2018-11-20	Paper
Refinements of orthopairs and IUML-algebras	2018-10-22	Paper
Free weak nilpotent minimum algebras	2018-02-23	Paper
On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra	2018-02-20	Paper
On some questions concerning the axiomatisation of WNM-algebras and their subvarieties	2018-02-19	Paper
OUP accepted manuscript	2018-02-13	Paper
Single chain completeness and some related properties	2018-01-22	Paper
Probability measures in \(\text{Gödel}_\varDelta\) logic	2017-09-05	Paper
Representation of BL-algebras with finite independent spectrum	2017-08-09	Paper
Querying with {\L}ukasiewicz logic	2015-12-03	Paper
Two Principles in Many-Valued Logic	2015-10-06	Paper
A note on minimal axiomatisations of some extensions of MTL	2015-06-24	Paper
A Logical Descriptor for Regular Languages via Stone Duality	2015-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q5406040	2014-04-01	Paper
MV-algebras freely generated by finite Kleene algebras.	2013-12-23	Paper
Computing Minimal Axiomatizations in Godel Propositional Logic	2011-11-10	Paper
The free \(n\)-generated BL-algebra	2011-08-26	Paper
Finitely Presented MV-algebras with Finite Automorphism Group	2010-08-26	Paper
Probability measures in the logic of nilpotent minimum	2010-04-26	Paper
A temporal semantics for basic logic	2009-11-16	Paper
Normal forms and free algebras for some extensions of MTL	2009-08-28	Paper
Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms	2009-07-02	Paper
De Finetti's no-Dutch-book criterion for Gödel logic	2009-03-17	Paper
Applications of Finite Duality to Locally Finite Varieties of BL-Algebras	2009-02-24	Paper
Gödel algebras free over finite distributive lattices	2008-11-12	Paper
Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications	2007-11-19	Paper
An asymptotically tight bound on countermodels for Łukasiewicz logic	2006-10-10	Paper
Symbolic and Quantitative Approaches to Reasoning with Uncertainty	2006-06-23	Paper
Symbolic and Quantitative Approaches to Reasoning with Uncertainty	2006-06-23	Paper
Complexity issues in Basic Logic	2006-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q4450452	2004-02-15	Paper
Finite-valued reductions of infinite-valued logics	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4708367	2003-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4784950	2002-12-17	Paper
Finiteness in infinite-valued Łukasiewicz logic	2000-12-17	Paper
Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions	2000-06-21	Paper
The complexity of McNaughton functions of one variable	1999-05-04	Paper
An algorithmic desingularization of 3-dimensional toric varieties	1995-07-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stefano Aguzzoli