Sequent-systems and groupoid models. I

Studia Logica 47 (4):353 - 385 (1988)
Abstract
The purpose of this paper is to connect the proof theory and the model theory of a family of propositional logics weaker than Heyting's. This family includes systems analogous to the Lambek calculus of syntactic categories, systems of relevant logic, systems related toBCK algebras, and, finally, Johansson's and Heyting's logic. First, sequent-systems are given for these logics, and cut-elimination results are proved. In these sequent-systems the rules for the logical operations are never changed: all changes are made in the structural rules. Next, Hubert-style formulations are given for these logics, and algebraic completeness results are demonstrated with respect to residuated lattice-ordered groupoids. Finally, model structures related to relevant model structures (of Urquhart, Fine, Routley, Meyer, and Maksimova) are given for our logics. These model structures are based on groupoids parallel to the sequent-systems. This paper lays the ground for a kind of correspondence theory for axioms of logics with implication weaker than Heyting's, a correspondence theory analogous to the correspondence theory for modal axioms of normal modal logics.The first part of the paper, which follows, contains the first two sections, which deal with sequent-systems and Hubert-formulations. The second part, due to appear in the next issue of this journal, will contain the third section, which deals with groupoid models.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 11,105
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Nuel D. Belnap (1982). Gupta's Rule of Revision Theory of Truth. Journal of Philosophical Logic 11 (1):103-116.
Kit Fine (1974). Models for Entailment. Journal of Philosophical Logic 3 (4):347 - 372.

View all 6 references

Citations of this work BETA
Kosta Došen (1992). Modal Translations in Substructural Logics. Journal of Philosophical Logic 21 (3):283 - 336.
Sara Negri (2011). Proof Theory for Modal Logic. Philosophy Compass 6 (8):523-538.
Kosta Došen (1992). The First Axiomatization of Relevant Logic. Journal of Philosophical Logic 21 (4):339 - 356.

View all 9 citations

Similar books and articles
Analytics

Monthly downloads

Added to index

2009-01-28

Total downloads

12 ( #128,660 of 1,101,690 )

Recent downloads (6 months)

5 ( #59,534 of 1,101,690 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Start a new thread
Order:
There  are no threads in this forum
Nothing in this forum yet.