Skip to main content
Log in

Cn-Definitions of Propositional Connectives

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Grzegorczyk, A., 'An approach to nonclassical calculus', Studia Logica 30 (1972), 33-43.

    Google Scholar 

  2. Lós, J., R. Suszko, 'Remarks on sentential logic', Indagationes Mathematicæ 20 (1958), 177-183.

    Google Scholar 

  3. Makinson, D., 'A characterization of structural completeness of a structural consequence operation', Reports on Mathematical Logic 6 (1975), 99-102.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. Pogorzelski, W.A., P. wojtylak, Elements of the Theory of Completeness in Propositional Logic, Silesian University 1982.

  7. Prucnal, T., 'Interpretations of the classical implicational calculus in nonclassical implicational calculi', Studia Logica 33 (1974), 59-63.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. Tarski, A., 'Fundamentale Begriffe der Methodologie der deductiven Wissenschaften I', Monatshefte f¨ur Mathematik und Physik 37 (1930), 361-404.

    Google Scholar 

  10. Wojtylak, P., 'Mutual interpretability of sentential logics II', Reports on Mathematical Logic 12 (1981), 51-66.

    Google Scholar 

  11. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1010509126669

Navigation