The following pages link to Stefano Aguzzoli (Q387624):
Displayed 50 items.
- MV-algebras freely generated by finite Kleene algebras. (Q387625) (← links)
- A non-associative generalization of Hájek's BL-algebras (Q409739) (← links)
- Generalized fuzzy filters in non-commutative residuated lattices. (Q467974) (← links)
- Distributive equations of implications based on nilpotent triangular norms (Q622261) (← links)
- Extending possibilistic logic over Gödel logic (Q622285) (← links)
- The free \(n\)-generated BL-algebra (Q636351) (← links)
- State morphism MV-algebras (Q648387) (← links)
- Single chain completeness and some related properties (Q679807) (← links)
- Uninorm logic with the \(n\)-potency axiom (Q695273) (← links)
- The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras (Q712687) (← links)
- Finite axiomatizability in Łukasiewicz logic (Q716501) (← links)
- (Q816855) (redirect page) (← links)
- Complexity issues in Basic Logic (Q816857) (← links)
- Normal forms and free algebras for some extensions of MTL (Q835114) (← links)
- Gödel algebras free over finite distributive lattices (Q952491) (← links)
- Probability measures in the logic of nilpotent minimum (Q965904) (← links)
- States on polyadic MV-algebras (Q965911) (← links)
- De Finetti's no-Dutch-book criterion for Gödel logic (Q1005945) (← links)
- Note on witnessed Gödel logics with Delta (Q1035647) (← links)
- A temporal semantics for basic logic (Q1037596) (← links)
- The complexity of McNaughton functions of one variable (Q1271879) (← links)
- An algorithmic desingularization of 3-dimensional toric varieties (Q1345471) (← links)
- Finite-valued reductions of infinite-valued logics (Q1407546) (← links)
- Minimally many-valued extensions of the monoidal t-norm based logic MTL (Q1629954) (← links)
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties (Q1697331) (← links)
- On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra (Q1697517) (← links)
- Free weak nilpotent minimum algebras (Q1699733) (← links)
- Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics (Q1726317) (← links)
- Expanding basic fuzzy logic with truth constants for component delimiters (Q1759708) (← links)
- Refinements of orthopairs and IUML-algebras (Q1797431) (← links)
- \(n\)-fold implicative basic logic is Gödel logic (Q1933768) (← links)
- Finiteness in infinite-valued Łukasiewicz logic (Q1971778) (← links)
- Representation of BL-algebras with finite independent spectrum (Q2013839) (← links)
- Strictly join irreducible varieties of BL-algebras: the missing pieces (Q2049269) (← links)
- Finite model property and varieties of BL-algebras (Q2233195) (← links)
- On some subvarieties of \(IMTn\)-algebras and the partitions of the \(m\)-cube. (Q2257977) (← links)
- Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics (Q2269796) (← links)
- On expansions of WNM t-norm based logics with truth-constants (Q2270234) (← links)
- On linear varieties of MTL-algebras (Q2317504) (← links)
- A note on minimal axiomatisations of some extensions of MTL (Q2350487) (← links)
- Probability measures in \(\text{Gödel}_\varDelta\) logic (Q2401886) (← links)
- Lattice-theoretic properties of algebras of logic (Q2448299) (← links)
- An asymptotically tight bound on countermodels for Łukasiewicz logic (Q2506811) (← links)
- Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components (Q2695340) (← links)
- A Logical Descriptor for Regular Languages via Stone Duality (Q2938148) (← links)
- Two Principles in Many-Valued Logic (Q2948588) (← links)
- Computing Minimal Axiomatizations in Godel Propositional Logic (Q3097869) (← links)
- Finitely Presented MV-algebras with Finite Automorphism Group (Q3583098) (← links)
- Applications of Finite Duality to Locally Finite Varieties of BL-Algebras (Q3605516) (← links)
- Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms (Q3638206) (← links)