Pages that link to "Item:Q3269132"
From MaRDI portal
The following pages link to A New Proof of the Completeness of the Lukasiewicz Axioms (Q3269132):
Displayed 7 items.
- A multiple-valued logic approach to the design and verification of hardware circuits (Q266875) (← links)
- Modal definability based on Łukasiewicz validity relations (Q284231) (← links)
- Equational type characterization for \(\sigma\)-complete MV-algebras. (Q353357) (← links)
- An algebraic characterization of o-minimal and weakly o-minimal MV-chains (Q392380) (← links)
- Varieties generated by unital abelian \(\ell\)-groups (Q401022) (← links)
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Q404568) (← links)
- A direct product decomposition of QMV algebras (Q424333) (← links)