Pages that link to "Item:Q1214402"
From MaRDI portal
The following pages link to A method of axiomatization of Lukasiewicz logics (Q1214402):
Displayed 3 items.
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 (Q484107) (← links)
- An axiomatization of the finite-valued Łukasiewicz calculus (Q1110497) (← links)
- Bounded contraction and Gentzen-style formulation of Łukasiewicz logics (Q2563461) (← links)