The following pages link to Ł\(\Pi\) logic with fixed points (Q953281):
Displaying 5 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic (Q835129) (← links)
- Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics (Q1407605) (← links)
- An expansion of basic logic with fixed points (Q1699729) (← links)
- Fuzzy logics with an additional involutive negation (Q2270236) (← links)