Simple Consequence Relations
|Abstract||We provide a general investigation of Logic in which the notion of a simple consequence relation is taken to be fundamental. Our notion is more general than the usual one since we give up monotonicity and use multisets rather than sets. We use our notion for characterizing several known logics (including Linear Logic and non-monotonic logics) and for a general, semantics-independent classi cation of standard connectives via equations on consequence relations (these include Girard's \multiplicatives" and \additives"). We next investigate the standard methods for uniformly representing consequence relations: Hilbert type, Natural Deduction and Gentzen type. The advantages and disadvantages of using each system and what should be taken as..|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|External links||This entry has no external links. Add one.|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Marcelo E. Coniglio (2007). Recovering a Logic From its Fragments by Meta-Fibring. Logica Universalis 1 (2):377-416.
Alexander Bochman (2002). Entrenchment Versus Dependence: Coherence and Foundations in Belief Change. [REVIEW] Journal of Logic, Language and Information 11 (1):3-27.
Ángel Nepomuceno-Fernández & Fernando Soler-Toscano (2007). Metamodeling Abduction. Theoria 22 (3):285-293.
Dag Westerståhl (2012). From Constants to Consequence, and Back. Synthese 187 (3):957-971.
Costas Drossos & Daniele Mundici (2000). Many-Valued Points and Equality. Synthese 125 (1-2):77-95.
Itala M. Loffredo D'Ottaviano & Hércules de A. Feitosa (2000). Paraconsistent Logics and Translations. Synthese 125 (1/2):77 - 95.
Philip Kremer & Michael Kremer (2003). Some Supervaluation-Based Consequence Relations. Journal of Philosophical Logic 32 (3):225-244.
Robert A. Herrmann (2007). General Logic-Systems and Finite Consequence Operators. Logica Universalis 1 (1):201-208.
Dov M. Gabbay (1995). A General Theory of Structured Consequence Relations. Theoria 10 (2):49-78.
Added to index2009-01-28
Total downloads15 ( #85,922 of 722,813 )
Recent downloads (6 months)1 ( #60,541 of 722,813 )
How can I increase my downloads?