On the Methods of Constructing Hilbert-type Axiom Systems for Finite-valued Propositional Logics of Łukasiewicz

DOI10.1080/01445340.2021.1899475MaRDI QIDQ6650476

Mateusz M. Radzki

Publication date: 9 December 2024

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An axiomatization of the finite-valued Łukasiewicz calculus
• The deduction theorem for Lukasiewicz many-valued propositional calculi
• Some remarks on three-valued logic of J. Lukasiewicz
• The many valued and nonmonotonic turn in logic
• Über die Axiomatisierbarkeit des Aussagenkalküls.
• A treatise on many-valued logics
• On the Rosser–Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz
• Logic and philosophy in the Lvov-Warsaw school
• Some problems concerning axiom systems for finitely many-valued propositional logics

This page was built for publication: On the Methods of Constructing Hilbert-type Axiom Systems for Finite-valued Propositional Logics of Łukasiewicz

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6650476)