Introduction of Implication and Generalization in Axiomatic Calculi

Abstract
of implication and generalization rules have a close relationship, for which there is a key idea for clarifying how they are connected: varying objects. Varying objects trace how generalization rules are used along a demonstration in an axiomatic calculus. Some ways for introducing implication and for generalization are presented here, taking into account some basic properties that calculi can have.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Translate to english
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,749
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

Add more citations

Similar books and articles
Once More to Dissolve the Ravens.Fred Wilson - 1995 - International Studies in the Philosophy of Science 9 (2):135 – 146.
Geach on Generalization.Charles Sayward - 2002 - Dialogue 41 (02):221-.
'Everyone', Consequences, and Generalization Arguments.J. Howard Sobel - 1967 - Inquiry : An Interdisciplinary Journal of Philosophy 10 (1-4):373-404.
Gentzen's Proof Systems: Byproducts in a Work of Genius.von Plato Jan - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.
The True Function of the Generalization Argument.Roland Paul Blum - 1970 - Inquiry : An Interdisciplinary Journal of Philosophy 13 (1-4):274 – 288.
The Power of Belnap: Sequent Systems for SIXTEEN ₃. [REVIEW]Heinrich Wansing - 2010 - Journal of Philosophical Logic 39 (4):369 - 393.
Metafizyka w logice.Jacek Wojtysiak - 1999 - Filozofia Nauki 1.
Added to PP index
2010-12-22

Total downloads
37 ( #144,268 of 2,197,362 )

Recent downloads (6 months)
1 ( #298,877 of 2,197,362 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature