Pages that link to "Item:Q647417"
From MaRDI portal
The following pages link to Consequence and interpolation in Łukasiewicz logic (Q647417):
Displaying 7 items.
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth (Q850803) (← links)
- A way to interpret Łukasiewicz logic and basic logic (Q1005968) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Uniform interpolation and compact congruences (Q2363208) (← links)
- An asymptotically tight bound on countermodels for Łukasiewicz logic (Q2506811) (← links)
- An interpolation theorem in many-valued logic (Q3028980) (← links)
- On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics (Q4644542) (← links)