A method of axiomatization of Lukasiewicz logics

DOI10.1007/BF02123373zbMath0298.02013MaRDI QIDQ1214402

Marek Tokarz

Publication date: 1975

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Many-valued logic (03B50) General logic (03B99)

Related Items

An axiomatization of the finite-valued Łukasiewicz calculus, Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3, Bounded contraction and Gentzen-style formulation of Łukasiewicz logics

Cites Work

• A theorem about infinite-valued sentential logic
• Unnamed Item