Pages that link to "Item:Q835272"
From MaRDI portal
The following pages link to Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) (Q835272):
Displaying 6 items.
- Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras) (Q622081) (← links)
- Formal axiomatic theories based on a three-valued logic (Q937906) (← links)
- Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space (Q2457027) (← links)
- Chang's Ł<sup>*</sup>Logic (Q4656548) (← links)
- (Q4914855) (← links)
- Normal unisoft filters in -algebras (Q5193458) (← links)
