Pages that link to "Item:Q5402233"
From MaRDI portal
The following pages link to NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES (Q5402233):
Displayed 12 items.
- Basic substructural core fuzzy logics and their extensions: mianorm-based logics (Q679802) (← links)
- Adjoint negations, more than residuated negations (Q1671770) (← links)
- Weakening-free, non-associative fuzzy logics: micanorm-based logics (Q1677042) (← links)
- Involutive basic substructural core fuzzy logics: involutive mianorm-based logics (Q1697513) (← links)
- Implicational (semilinear) logics. III: Completeness properties (Q1745358) (← links)
- Fuzzy sets and formal logics (Q2014418) (← links)
- Residuated structures and orthomodular lattices (Q2062191) (← links)
- The finite embeddability property for residuated groupoids. (Q2510712) (← links)
- Semi-linear Varieties of Lattice-Ordered Algebras (Q2948590) (← links)
- (Q5084205) (← links)
- Axiomatization of non-associative generalisations of Hájek's BL and psBL (Q5217247) (← links)
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC (Q6148471) (← links)