David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Logic, Language and Information 1 (3):173-201 (1992)
The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the system itself. This conception of modal logic was propounded by Dana Scott in the early seventies. Here, similar ideas are pursued in a context less classical than Scott's.First a family of propositional logical systems is considered, which is obtained by gradually adding structural rules to a variant of the nonassociative Lambek calculus. In this family one finds systems that correspond to the associative Lambek calculus, linear logic, relevant logics, BCK logic and intuitionistic logic. Above these basic systems, sequent systems parallel to the basic systems are constructed, which formalize various notions of derived rules for the basic systems. The deduction theorem is provable for the basic systems if, and only if, they are at least as strong as systems corresponding to linear logic, or BCK logic, depending on the language, and their deductive metalogic is not stronger than they are.
|Keywords||modal logic substructural logics derived rules deduction theorem functional completeness in categories|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Heinrich Wansing (1999). Predicate Logics on Display. Studia Logica 62 (1):49-75.
Simone Martini & Andrea Masini (1994). A Modal View of Linear Logic. Journal of Symbolic Logic 59 (3):888-899.
Sara Negri (2011). Proof Analysis: A Contribution to Hilbert's Last Problem. Cambridge University Press.
Kosta Došen (1988). Sequent-Systems and Groupoid Models. I. Studia Logica 47 (4):353 - 385.
Kosta Došen (1989). Sequent-Systems and Groupoid Models. II. Studia Logica 48 (1):41 - 65.
Milan Božić & Kosta Došen (1984). Models for Normal Intuitionistic Modal Logics. Studia Logica 43 (3):217 - 245.
Kosta Došen (1992). Modal Translations in Substructural Logics. Journal of Philosophical Logic 21 (3):283 - 336.
Added to index2009-01-28
Total downloads18 ( #77,043 of 1,015,078 )
Recent downloads (6 months)1 ( #65,012 of 1,015,078 )
How can I increase my downloads?