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 15 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 note on standard completeness for some extensions of uninorm logic (Q894654) (← links)
- Density elimination (Q944384) (← links)
- A simple proof of a completeness result for \(leads\)-\(to\) in the UNITY logic (Q1186571) (← links)
- Density revisited (Q1699744) (← links)
- Group representation for even and odd involutive commutative residuated chains (Q2157596) (← links)
- The logic of pseudo-uninorms and their residua (Q2335051) (← links)
- Involutive uninorm logic with the \(n\)-potency axiom (Q2450645) (← links)
- Involutive uninorm logic with fixed point enjoys finite strong standard completeness (Q2700813) (← links)
- Unified Classical Logic Completeness (Q3192180) (← links)
- (Q5084205) (← links)
- A completeness proof for a regular predicate logic with undefined truth value (Q6100982) (← links)
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic (Q6107297) (← links)
