Mateusz M. Radzki

From MaRDI portal
Person:4586218



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
On the Methods of Constructing Hilbert-type Axiom Systems for Finite-valued Propositional Logics of Łukasiewicz
History and Philosophy of Logic
2024-12-09Paper
Some problems concerning axiom systems for finitely many-valued propositional logics2024-09-06Paper
On the Rosser-Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz
Journal of Applied Non-Classical Logics
2018-09-12Paper


Research outcomes over time


This page was built for person: Mateusz M. Radzki