Tadeusz Prucnal

According to our database, Tadeusz Prucnal authored at least 3 papers between 1975 and 1998.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of six.

1998

On the Logic Determined by some Finite Relational Systems.

Tadeusz Prucnal

Reports Math. Log., 1998

1994

Axiomatization of the Logic Determined by the System of Natural Numbers with Identity.

Beata Bugajska-Jaszczolt, Tadeusz Prucnal

Reports Math. Log., 1994

1975

Structural completeness of the first-order predicate calculus.

Witold A. Pogorzelski, Tadeusz Prucnal

Math. Log. Q., 1975