An axiomatization of the finite-valued Łukasiewicz calculus
From MaRDI portal
Publication:1110497
DOI10.1007/BF00374052zbMath0657.03009MaRDI QIDQ1110497
Publication date: 1988
Published in: Studia Logica (Search for Journal in Brave)
03B50: Many-valued logic
Related Items
Bounded contraction and Gentzen-style formulation of Łukasiewicz logics, Extending the Curry-Howard interpretation to linear, relevant and other resource logics
Cites Work