Pages that link to "Item:Q1110497"
From MaRDI portal
The following pages link to An axiomatization of the finite-valued Łukasiewicz calculus (Q1110497):
Displayed 5 items.
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 (Q484107) (← links)
- Bounded contraction and Gentzen-style formulation of Łukasiewicz logics (Q2563461) (← links)
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics (Q4032664) (← links)
- Łukasiewicz and His Followers in Many-Valued Logic (Q4611677) (← links)
- Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss (Q4646655) (← links)