Graduate studies at Western
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)|
|Through your library||Configure|
Similar books and articles
Melvin Fitting (2012). Prefixed Tableaus and Nested Sequents. Annals of Pure and Applied Logic 163 (3):291 - 313.
Kosta Došen (1992). Modal Translations in Substructural Logics. Journal of Philosophical Logic 21 (3):283 - 336.
Kosta Došen (1992). Modal Logic as Metalogic. Journal of Logic, Language and Information 1 (3):173-201.
Josep M. Font & Ventura Verdú (1989). A First Approach to Abstract Modal Logics. Journal of Symbolic Logic 54 (3):1042-1062.
Sara Negri (2011). Proof Analysis: A Contribution to Hilbert's Last Problem. Cambridge University Press.
Alexej P. Pynko (2009). Distributive-Lattice Semantics of Sequent Calculi with Structural Rules. Logica Universalis 3 (1):59-94.
Milan Božić & Kosta Došen (1984). Models for Normal Intuitionistic Modal Logics. Studia Logica 43 (3):217 - 245.
Kosta Došen (1990). Addenda and Corrigenda to "Sequent-Systems and Groupoid Models". Studia Logica 49 (4):614 -.
Kosta Došen (1989). Sequent-Systems and Groupoid Models. II. Studia Logica 48 (1):41 - 65.
Added to index2009-01-28
Total downloads7 ( #142,523 of 739,953 )
Recent downloads (6 months)0
How can I increase my downloads?