Abstract
In this chapter we consider substructural implicational logics. These logics, as far as the implicational fragment is concerned, put some restrictions on the use of formulas in deductions. The restrictions may require either that every formula of the database must be used, or that it cannot be used more than once, or that it must be used according to a given ordering of database formulas. The denomination substructural logics can be explained by the fact that these systems restrict (some of) the structural rules of deduction, that is to say the contraction, weakening and permutation rules which are allowed both by classical and intuitionistic provability. Substructural logics have received an increasing interest in the computer science community because of their potential applications in a number of different areas, such as natural language processing, database update, logic programming, type-theoretic analysis by means of the so called Curry—Howard isomorphism and, more generally, the categorical interpretation of logics. We refer to [Došen, 1993; Ono, 1998; Ono, 1993; Routley et al., 1982] for a survey. Recently, Routley—Meyer semantics for substructural logics have been re-interpreted as modelling agent-interaction [Slaney and Meyer, 1997].
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
