The following pages link to (Q3466596):
Displaying 16 items.
- Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras (Q278739) (← links)
- Single chain completeness and some related properties (Q679807) (← links)
- A consistent theory of attributes in a logic without contraction (Q1208119) (← links)
- Logic without contraction as based on inclusion and unrestricted abstraction (Q1577364) (← links)
- Complexity of some language fragments of fuzzy logics (Q1699732) (← links)
- Glivenko theorems and negative translations in substructural predicate logics (Q1938390) (← links)
- Fuzzy logics from substructural perspective (Q2270232) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- On the scope of some formulas defining additive connectives in fuzzy logics (Q2386240) (← links)
- Varieties generated by standard BL-algebras (Q2454042) (← links)
- Note on deduction theorems in contraction-free logics (Q2888635) (← links)
- (Q4856945) (← links)
- Simple, local and subdirectly irreducible state residuated lattices (Q5029670) (← links)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- (Q5884959) (← links)
