Concepedia
4
Publications
90
Citations
H-Index
1964
Active since
Affiliations
University of Wrocław(Current)
Witold Pogorzelski is an author at University of Wrocław specializing in automated reasoning, formal methods, and engineering.
Top concepts
Automated ReasoningEngineeringFormal MethodsSemantics
Publications per year
1964–1975
Integral Equations and their Applications, Vol. I.
A. T. Lonseth, Witold Pogorzelski · American Mathematical Monthly · 1968 · 36 citations
Definite Integral, Resolvent Kernel, Integrable System +1
The deduction theorem for Łukasiewicz many-valued propositional calculi
Witold Pogorzelski · Studia Logica · 1964 · 24 citations
Engineering, Automated Reasoning, Propositional Logic +4
Review: J. H. Woodger, Alfred Tarski, Logic, semantics, metamathematics, papers from 1923 to 1938
Witold Pogorzelski, Stanisław Surma · Project Euclid (Cornell University) · 1969 · 16 citations
Automated Reasoning, Classical Logic, Philosophy Of Logic +6
Structural completeness of the first‐order predicate calculus
Witold Pogorzelski, Tadeusz Prucnal · Mathematical logic quarterly · 1975 · 14 citations
Engineering, Automated Reasoning, Formal Methods +4
Rows per page
1–4 of 4