Journal of Philosophical Logic 27 (2):179-216 (1998)
|Abstract||Many logics in the relevant family can be given a proof theory in the style of Belnap's display logic (Belnap, 1982). However, as originally given, the proof theory is essentially more expressive than the logics they seek to model. In this paper, we consider a modified proof theory which more closely models relevant logics. In addition, we use this proof theory to show decidability for a large range of substructural logics|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Ken-etsu Fujita (1998). On Proof Terms and Embeddings of Classical Substructural Logics. Studia Logica 61 (2):199-221.
Greg Restall (1994). Subintuitionistic Logics. Notre Dame Journal of Formal Logic 35 (1):116-129.
Luca Viganò (2000). Labelled Non-Classical Logics. Kluwer Academic Publishers.
Yde Venema (1995). Meeting Strength in Substructural Logics. Studia Logica 54 (1):3 - 32.
Norihiro Kamide (2002). Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11 (4):453-470.
Greg Restall (forthcoming). Substructural Logics. Stanford Encyclopedia of Philosophy.
Added to index2009-01-28
Total downloads8 ( #131,640 of 722,742 )
Recent downloads (6 months)1 ( #60,247 of 722,742 )
How can I increase my downloads?