Tadeusz Prucnal

Available identifiers

zbMath Open prucnal.tadeuszMaRDI QIDQ1140628

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4943492	2000-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q5690145	1997-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q4888335	1996-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q3201035	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3486540	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3758808	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3693504	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3222164	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3686761	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3342540	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3342572	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3874168	1980-01-01	Paper
On two problems of Harvey Friedman	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3856774	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4133597	1976-01-01	Paper
Structural completeness of the first‐order predicate calculus	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4101787	1975-01-01	Paper
Interpretations of classical implicational sentential calculus in nonclassical implicational calculi	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4774014	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4055982	1974-01-01	Paper
Proof of structural completeness of a certain class of implicative propositional calculi	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4769038	1973-01-01	Paper
On the structural completeness of some pure implicational propositional calculi	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5636854	1972-01-01	Paper
A definability criterion for the functions in Lukasiewicz's matrices	1968-01-01	Paper
Some remarks on three-valued logic of J. Lukasiewicz	1967-01-01	Paper
A proof of axiomatizability of Lukasiewicz's three-valued implicational propositional calculus	1967-01-01	Paper
A proof of completeness of the three-valued C-N sentential calculus of Lukasiewicz	1966-01-01	Paper

Research outcomes over time

This page was built for person: Tadeusz Prucnal