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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,160
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

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.


Added to PP index

Total views
25 ( #453,349 of 2,499,413 )

Recent downloads (6 months)
2 ( #278,169 of 2,499,413 )

How can I increase my downloads?


My notes