Pages that link to "Item:Q937210"
From MaRDI portal
The following pages link to Pavelka-style completeness in expansions of Łukasiewicz logic (Q937210):
Displaying 6 items.
- Product Łukasiewicz logic (Q701745) (← links)
- A note on axiomatizations of Pavelka-style complete fuzzy logics (Q1697340) (← links)
- Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem. (Q2351509) (← links)
- Conservative extension of polyadic MV-algebras to polyadic Pavelka algebras (Q2501160) (← links)
- Algebraic logic for rational Pavelka predicate calculus (Q2743646) (← links)
- THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC (Q4295230) (← links)