Sequent-systems and groupoid models. I

Studia Logica 47 (4):353 - 385 (1988)
Kosta Došen
University of Belgrade
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)
DOI 10.1007/BF00671566
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 37,153
Through your library

References found in this work BETA

The Mathematics of Metamathematics.Helena Rasiowa - 1963 - Warszawa, Państwowe Wydawn. Naukowe.
Logics Without the Contraction Rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
Formal Logic. Prior - 1955 - Oxford, Clarendon Press.
Display Logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.

View all 11 references / Add more references

Citations of this work BETA

External Curries.Heinrich Wansing & Graham Priest - 2015 - Journal of Philosophical Logic 44 (4):453-471.
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.

View all 20 citations / Add more citations

Similar books and articles

Prefixed Tableaus and Nested Sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.
Modal Translations in Substructural Logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Modal Logic as Metalogic.Kosta Došen - 1992 - Journal of Logic, Language and Information 1 (3):173-201.
A First Approach to Abstract Modal Logics.Josep M. Font & Ventura Verdú - 1989 - Journal of Symbolic Logic 54 (3):1042-1062.
Sequent-Systems and Groupoid Models. II.Kosta Došen - 1989 - Studia Logica 48 (1):41 - 65.


Added to PP index

Total downloads
26 ( #252,873 of 2,308,622 )

Recent downloads (6 months)
1 ( #447,376 of 2,308,622 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature