Investigation into certain implication-negation fragments of propositional logic

Abstract

In this paper, we study the completeness property of some implication-negation fragments of propositional logics. By the phrase implication-negation fragment of a propositional logic, we understand the system consisting of all the theses which have implication and/or negation as their sole connectives in the said logic. This means, that we have to find a means to isolate, so to speak, all these theses and then axiomatize the resultant system. Our method of proof is by constructing a Gentzen type Sequenzen Kalkul which is strong enough to embrace all theses in the said logic. Since, Sequenzen Kalkul has a constructive character, every connective, once introduced, will remain in later sequents of the derivation.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

On the role of implication in formal logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
The first axiomatization of relevant logic.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (4):339 - 356.
Elementary definability and completeness in general and positive modal logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
Implication with possible exceptions.Herman Jurjus & Harrie de Swart - 2001 - Journal of Symbolic Logic 66 (2):517-535.
Defining relevant implication in a propositionally quantified S.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (4):1057-1069.
Classical negation can be expressed by one of its halves.Jean-Yves Beziau - 1999 - Logic Journal of the IGPL 7 (2):145-151.
The logic of bunched implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.

Analytics

Added to PP
2013-03-09

Downloads
27 (#504,088)

6 months
1 (#1,027,696)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references