Pages that link to "Item:Q3370766"
From MaRDI portal
The following pages link to On an algebra of lattice-valued logic (Q3370766):
Displaying 11 items.
- On a sequential model of the algebra of finite-valued logic (Q353506) (← links)
- Logical operators on complete lattices (Q1174337) (← links)
- Duality for lattice-ordered algebras and for normal algebraizable logics (Q1368914) (← links)
- \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality (Q2156971) (← links)
- A complete axiomatisation for the logic of lattice effect algebras (Q2239398) (← links)
- A 6-valued logical system \(K^1_6\) based on a nonlinearly ordered lattice of values (Q2720648) (← links)
- Algebras of multivalued tolerant-stable predicates (Q2850426) (← links)
- (Q3634391) (← links)
- (Q4306528) (← links)
- (Q4311753) (← links)
- (Q5483303) (← links)