Rules in relevant logic - I: Semantic classification [Book Review]
Graduate studies at Western
Journal of Philosophical Logic 23 (2):111 - 137 (1994)
|Abstract||We provide five semantic preservation properties which apply to the various rules -- primitive, derived and admissible -- of Hilbert-style axiomatizations of relevant logics. These preservation properties are with respect to the Routley-Meyer semantics, and consist of various truth- preservations and validity-preservations from the premises to the conclusions of these rules. We establish some deduction theorems, some persistence theorems and some soundness and completeness theorems, for these preservation properties. We then apply the above ideas, as best we can, to the classical sentential and predicate calculi, to normal and non- normal modal logics, and to many- valued logics|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Marc Ereshefsky (1997). The Evolution of the Linnaean Hierarchy. Biology and Philosophy 12 (4):493-519.
Ewa Orlowska (1992). Relational Proof System for Relevant Logics. Journal of Symbolic Logic 57 (4):1425-1440.
Ross T. Brady (1996). Relevant Implication and the Case for a Weaker Logic. Journal of Philosophical Logic 25 (2):151 - 183.
Lloyd Humberstone (2007). Investigations Into a Left-Structural Right-Substructural Sequent Calculus. Journal of Logic, Language and Information 16 (2):141-171.
Ryo Kashima & Norihiro Kamide (1999). Substructural Implicational Logics Including the Relevant Logic E. Studia Logica 63 (2):181-212.
Rosalie Iemhoff (2001). On the Admissible Rules of Intuitionistic Propositional Logic. Journal of Symbolic Logic 66 (1):281-294.
Ross T. Brady (1993). Rules in Relevant Logic — II: Formula Representation. Studia Logica 52 (4):565 - 585.
Added to index2009-01-28
Total downloads5 ( #170,048 of 722,936 )
Recent downloads (6 months)1 ( #61,087 of 722,936 )
How can I increase my downloads?