Witold A. Pogorzelski

Available identifiers

zbMath Open pogorzelski.witold-aMaRDI QIDQ195356

List of research outcomes

Publication	Date of Publication	Type
Completeness theory for propositional logics	2007-07-27	Paper
A proof system for classical logic	2006-01-30	Paper
\(Cn\)-definitions of propositional connectives	2002-06-06	Paper
https://portal.mardi4nfdi.de/entity/Q3728877	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3220554	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3325691	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3669345	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3916544	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4133590	1977-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
Concerning the notion of completeness of invariant propositional calculi	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4055982	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4774012	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4774014	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4769038	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5616120	1971-01-01	Paper
Some remarks on the concept of completeness of the propositional calculus. I	1968-01-01	Paper
On the scope of the classical deduction theorem	1968-01-01	Paper
A survey of deduction theorems for the propositional calculi	1964-01-01	Paper
A schema of deduction theorems for the propositional calculus	1964-01-01	Paper
The deduction theorem for Lukasiewicz many-valued propositional calculi	1964-01-01	Paper
The adequacy of the theories of deductive systems with respect to sentential calculi	1962-01-01	Paper
A variant of the proof of the completeness of the first order functional calculus	1961-01-01	Paper
Basic properties of deductive systems based on nonclassical logics. Part I, II	1960-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: Witold A. Pogorzelski