Witold A. Pogorzelski

According to our database¹, Witold A. Pogorzelski authored at least 4 papers between 1968 and 2005.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2005

A Proof System for Classical Logic.

[BibT_eX]

[DOI]

Stud Logica, 2005

2001

Cn-Definitions of Propositional Connectives.

[BibT_eX]

[DOI]

Stud Logica, 2001

1975

Structural completeness of the first-order predicate calculus.

[BibT_eX]

[DOI]

Math. Log. Q., 1975

1968

On the Scope of the Classical Deduction Theorem.

[BibT_eX]

[DOI]

J. Symb. Log., 1968