Notre Dame Journal of Formal Logic 35 (3):369-397 (1994)
|Abstract||In this paper two deductive systems (i.e., two consequence relations) associated with relevance logic are studied from an algebraic point of view. One is defined by the familiar, Hilbert-style, formalization of R; the other one is a weak version of it, called WR, which appears as the semantic entailment of the Meyer-Routley-Fine semantics, and which has already been suggested by Wójcicki for other reasons. This weaker consequence is first defined indirectly, using R, but we prove that the first one turns out to be an axiomatic extension of WR. Moreover we provide WR with a natural Gentzen calculus (of a classical kind). It is proved that both deductive systems have the same associated class of algebras but different classes of models on these algebras. The notion of model used here is an abstract logic, that is, a closure operator on an abstract algebra; the abstract logics obtained in the case of WR are also the models, in a natural sense, of the given Gentzen calculus|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
W. J. Blok & J. Rebagliato (2003). Algebraic Semantics for Deductive Systems. Studia Logica 74 (1-2):153 - 180.
Josep Maria Font & Ramon Jansana (2011). Leibniz-Linked Pairs of Deductive Systems. Studia Logica 99 (1-3):171-202.
Josep Maria Font, Ramon Jansana & Don Pigozzi (2006). On the Closure Properties of the Class of Full G-Models of a Deductive System. Studia Logica 83 (1-3):215 - 278.
Alexej P. Pynko (1995). Algebraic Study of Sette's Maximal Paraconsistent Logic. Studia Logica 54 (1):89 - 128.
Josep Maria Font & Miquel Rius (2000). An Abstract Algebraic Logic Approach to Tetravalent Modal Logics. Journal of Symbolic Logic 65 (2):481-518.
Matthew McKeon, Logical Consequence, Deductive-Theoretic Conceptions. Internet Encyclopedia of Philosophy.
George Voutsadakis (2003). Categorical Abstract Algebraic Logic: Equivalent Institutions. Studia Logica 74 (1-2):275 - 311.
W. J. Blok & Eva Hoogland (2006). The Beth Property in Algebraic Logic. Studia Logica 83 (1-3):49 - 90.
Norman M. Martin (1989). Systems of Logic. Cambridge University Press.
W. J. Blok & Don Pigozzi (1986). Protoalgebraic Logics. Studia Logica 45 (4):337 - 369.
J. Lambek (1989). On Some Connections Between Logic and Category Theory. Studia Logica 48 (3):269 - 278.
Ramon Jansana (1995). Abstract Modal Logics. Studia Logica 55 (2):273 - 299.
Antoni Torrens (2008). An Approach to Glivenko's Theorem in Algebraizable Logics. Studia Logica 88 (3):349-383.
Antoni Torrens Torrell (2008). An Approach to Glivenko's Theorem in Algebraizable Logics. Studia Logica 88 (3):349 - 383.
George Voutsadakis (2003). Categorical Abstract Algebraic Logic Metalogical Properties. Studia Logica 74 (3):369 - 398.
Added to index2010-08-24
Total downloads6 ( #154,629 of 722,744 )
Recent downloads (6 months)1 ( #60,247 of 722,744 )
How can I increase my downloads?