The following pages link to \(n\)-contractive BL-logics (Q535139):
Displaying 11 items.
- Characterizations and new subclasses of \(\mathcal{I}\)-filters in residuated lattices (Q279337) (← links)
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Proof theory for locally finite many-valued logics: semi-projective logics (Q385019) (← links)
- Single chain completeness and some related properties (Q679807) (← links)
- Uninorm logic with the \(n\)-potency axiom (Q695273) (← links)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- On linear varieties of MTL-algebras (Q2317504) (← links)
- A Note on Saturated Models for Many-Valued Logics (Q3454724) (← links)
- (Q5084205) (← links)
- A Note on Drastic Product Logic (Q5230076) (← links)
