Abstract
We attempt to define the classical propositional logic by use of appropriate derivability conditions called Cn-definitions. The conditions characterize basic properties of propositional connectives.
Similar content being viewed by others
References
Grzegorczyk, A., 'An approach to nonclassical calculus', Studia Logica 30 (1972), 33-43.
Lós, J., R. Suszko, 'Remarks on sentential logic', Indagationes Mathematicæ 20 (1958), 177-183.
Makinson, D., 'A characterization of structural completeness of a structural consequence operation', Reports on Mathematical Logic 6 (1975), 99-102.
Pogorzelski, W.A., 'Structural completeness of the propositional calculus', Bulletin de l'Academie Polonaise des Sciences,ser. math., astr. et phys. 19, 5 (1971), 349-351.
Pogorzelski, W.A., J. Slupecki, 'Basic properties of the deductive systems based on nonclassical logics' (in Polish), Studia Logica, Part I 9 (1960), 161-176, Part II 10 (1960), 77-95.
Pogorzelski, W.A., P. wojtylak, Elements of the Theory of Completeness in Propositional Logic, Silesian University 1982.
Prucnal, T., 'Interpretations of the classical implicational calculus in nonclassical implicational calculi', Studia Logica 33 (1974), 59-63.
Tarski, A., 'Über einige fundamentale Begriffe der Metamathematik', Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie 23 (1930), 22-29.
Tarski, A., 'Fundamentale Begriffe der Methodologie der deductiven Wissenschaften I', Monatshefte f¨ur Mathematik und Physik 37 (1930), 361-404.
Wojtylak, P., 'Mutual interpretability of sentential logics II', Reports on Mathematical Logic 12 (1981), 51-66.
WÓjcicki, R., 'On reconstructability of the classical propositional logic in intutitionistic logic', Bulletin de l'Academie Polonaise des Sciences,ser. math., astr. et phys. 9 (1970), 421-422.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Pogorzelski, W.A., Wojtylak, P. Cn-Definitions of Propositional Connectives. Studia Logica 67, 1–26 (2001). https://doi.org/10.1023/A:1010509126669
Issue Date:
DOI: https://doi.org/10.1023/A:1010509126669