Pages that link to "Item:Q835129"
From MaRDI portal
The following pages link to \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic (Q835129):
Displaying 11 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Profinite MV-algebras and multisets. (Q890022) (← links)
- Ł\(\Pi\) logic with fixed points (Q953281) (← links)
- An expansion of basic logic with fixed points (Q1699729) (← links)
- Notes on divisible MV-algebras (Q1703636) (← links)
- Dynamic Łukasiewicz logic and dynamic MV-algebras (Q2206432) (← links)
- Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem. (Q2351509) (← links)
- (Q3404617) (← links)
- (Q4463932) (← links)
- Matching µ-logic: Foundation of K framework (Q5875341) (← links)
- Functorial representation theorems for MV\(_\Delta\) algebras with additional operators (Q5936152) (← links)