A Minimal Implicational Logic
Author:
Pogorzelski Witold A.
Publisher
Springer Netherlands
Reference4 articles.
1. Pogorzelski, W. A.: 1968, ‘On the Scope of the Classical Deduction Theorem’, The Journal of Symbolic Logic
33, 77–81.
2. Prucnal, T.: 1972, ‘On the Structural Completeness of Some Purely Implicational Propositional Calculi’, Studia Logica
XXX, 45–50.
3. Suszko, R.: 1961, ‘Concerning the Method of Logical Schemes, the Notion of Logical Calculus, and the Role of Consequence Relations’, Studia Logica
XI, 185–214.
4. Tokarz, M.: 1973, ‘Connections between Some Notions of Completeness of Structural Calculi’, Studia Logica
XXXII, 77–91.