Pages that link to "Item:Q2501164"
From MaRDI portal
The following pages link to On two fragments with negation and without implication of the logic of residuated lattices (Q2501164):
Displaying 7 items.
- A Gentzen system for involutive residuated lattices (Q818712) (← links)
- Two results in negation-free logic (Q1324497) (← links)
- On three implication-less fragments of t-norm based fuzzy logics (Q2457026) (← links)
- On two fragments with negation and without implication of the logic of residuated lattices (Q2501164) (← links)
- (Q3797162) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case (Q5426002) (← links)