The following pages link to Stefano Aguzzoli (Q387624):
Displayed 15 items.
- (Q4450452) (← links)
- Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions (Q4487257) (← links)
- Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops (Q4555455) (← links)
- Finite IUML-algebras, Finite Forests and Orthopairs (Q4611206) (← links)
- (Q4708367) (← links)
- (Q4784950) (← links)
- A Note on Drastic Product Logic (Q5230076) (← links)
- (Q5406040) (← links)
- Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications (Q5427255) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473748) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473749) (← links)
- OUP accepted manuscript (Q5894705) (← links)
- Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components (Q6174409) (← links)
- Querying with {\L}ukasiewicz logic (Q6268010) (← links)
- Automorphism Groups of Finite BL-Algebras (Q6485193) (← links)