The deduction theorems valid in certain fragments of the Lewis' system S2 and the system of Feys - von Wright

Bulletin of the Section of Logic 1 (1):45-52 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Other Versions

reprint Surma, Stanisŀaw J. (1973) "The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright". Studia Logica 31(1):127-136

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,665

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Classically axiomatizable modal propositional calculi containing the system T of feys–von Wright.Wies law Dziobiak - 1976 - Bulletin of the Section of Logic 5 (1):20-23.
Classically axiomatizable modal propositional calculi containing the system T of Feys-von Wright.Wieslaw Dziobiak - 1976 - Bulletin of the Section of Logic 5 (1):20-23.
[Note on a Modal System of Feys-von Wright.Boleslw Soboci Nski - 1953 - [S.N.].
Decision Procedures and Semantics for Feys' System S2° and Surrounding Systems.R. Routley - 1970 - Mathematical Logic Quarterly 16 (2):165-174.
A natural deduction system for ctl.Christian Jacques Renterıa & Edward Hermann Haeusler - 2002 - Bulletin of the Section of Logic 31 (4):231-240.
Natural deduction system for tense logics.Andrzej Indrzejczak - 1994 - Bulletin of the Section of Logic 23 (4):173-179.
Wajsberg's semantics for the system S5 of Lewis.Stanislaw Zachorowski - 1973 - Bulletin of the Section of Logic 2 (2):112-117.
Stoic “undemonstrables” and indirect-deduction theorems.Grzegorz Bryll & Zofia Kostrzycka - 1994 - Bulletin of the Section of Logic 23 (2):53-60.
Deduction Theorems For Rm And Its Extensions.Marek Tokarz - 1977 - Bulletin of the Section of Logic 6 (2):67-69.

Analytics

Added to PP
2017-02-23

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

The deducibilities of S.Jean Porte - 1981 - Journal of Philosophical Logic 10 (4):409 - 422.

Add more citations

References found in this work

No references found.

Add more references