Pages that link to "Item:Q2337894"
From MaRDI portal
The following pages link to A proof of the standard completeness for the involutive uninorm logic (Q2337894):
Displaying 4 items.
- Group representation for even and odd involutive commutative residuated chains (Q2157596) (← links)
- Involutive uninorm logic with fixed point enjoys finite strong standard completeness (Q2700813) (← links)
- (Q5084205) (← links)
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic (Q6107297) (← links)
