Advertisement

Studia Logica

, Volume 15, Issue 1, pp 188–188 | Cite as

A schema of deduction theorems for the propositional calculus

  • W. A. Pogorzelski
Article
  • 49 Downloads

Keywords

Mathematical Logic General Schema Computational Linguistic Propositional Calculus Deduction Theorem 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Państwowe Wydawnictwo Naukowe 1964

Authors and Affiliations

  • W. A. Pogorzelski

There are no affiliations available

Personalised recommendations