Some problems concerning axiom systems for finitely many-valued propositional logics

DOI10.1007/978-3-030-24486-6_11zbMATH Open1544.03023MaRDI QIDQ6599632

Mateusz M. Radzki

Publication date: 6 September 2024

zbMATH Keywords

many-valued logicsŁukasiewiczaxiom systemsSłupeckiRosser-turquette method

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

• Characterization of prime numbers in Łukasiewicz's logical matrix
• Jerzy Słupecki (1904-1987): Life and work
• An axiomatization of the finite-valued Łukasiewicz calculus
• Algebraic foundations of many-valued reasoning
• The many valued and nonmonotonic turn in logic
• A treatise on many-valued logics
• The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900--1940
• Three-Valued Logics for Incomplete Information and Epistemic Logic
• On Słupecki T-functions
• On the Rosser–Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz
• A theorem about infinite-valued sentential logic
• 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?)

Related Items (1)

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

This page was built for publication: Some problems concerning axiom systems for finitely many-valued propositional logics

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