Pages that link to "Item:Q2492317"
From MaRDI portal
The following pages link to Undefinability of min-conjunction in MTL (Q2492317):
Displaying 5 items.
- Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\) (Q506104) (← links)
- Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras) (Q622081) (← links)
- Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) (Q835272) (← links)
- Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space (Q2457027) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
