Pages that link to "Item:Q2359733"
From MaRDI portal
The following pages link to Canonical formulas for \(k\)-potent commutative, integral, residuated lattices (Q2359733):
Displaying 5 items.
- Canonical formulas for a paraconsistent analog of the Scott logic (Q431702) (← links)
- Locally finite reducts of Heyting algebras and canonical formulas (Q509602) (← links)
- Complexity of some language fragments of fuzzy logics (Q1699732) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)