Concepedia

Tadeusz Prucnal

TP

7

Publications

181

Citations

7

H-Index

1967

Active since

Affiliations

Institute of Mathematics(Current)

Tadeusz Prucnal is an author at Institute of Mathematics specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsSyntaxLanguageEducationSemanticsProof ComplexityFormal VerificationDiscrete Mathematics

Publications per year

1967–1980

7

Publications

7

An algebraic characterization of the notion of structural completeness

Tadeusz Prucnal, Andrzej Wroński · 1974 · 54 citations

Engineering, Algebraic Structure, Incompleteness +4

On the structural completeness of some pure implicational propositional calculi

Tadeusz Prucnal · Studia Logica · 1972 · 39 citations

Syntax, Engineering, Substructural Logic +9

On two problems of Harvey Friedman

Tadeusz Prucnal · Studia Logica · 1979 · 32 citations

Harvey Friedman, Bounded Rationality

Some remarks on three-valued logic of J. Łukasiewicz

Jerzy Słupecki, Grzegorz Bryll, Tadeusz Prucnal · Studia Logica · 1967 · 20 citations

Automated Reasoning, Three-valued Logic, Classical Logic +2

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–5 of 7