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/Q3693504	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3758808	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/Q4055982	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4774014	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
A proof of axiomatizability of Lukasiewicz's three-valued implicational propositional calculus	1967-01-01	Paper
Some remarks on three-valued logic of J. Lukasiewicz	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tadeusz Prucnal