Pages that link to "Item:Q894654"
From MaRDI portal
The following pages link to A note on standard completeness for some extensions of uninorm logic (Q894654):
Displaying 10 items.
- Densification of FL chains via residuated frames (Q271692) (← links)
- Uninorm logic with the \(n\)-potency axiom (Q695273) (← links)
- Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
- A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic (Q1186571) (← links)
- Density revisited (Q1699744) (← links)
- The logic of pseudo-uninorms and their residua (Q2335051) (← links)
- A proof of the standard completeness for the involutive uninorm logic (Q2337894) (← links)
- (Q5084205) (← links)
- (Q5413360) (← links)
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic (Q6107297) (← links)