Switch to: Citations

References in:

Sequent-systems and groupoid models. I

Studia Logica 47 (4):353 - 385 (1988)

Add references

You must login to add references.
  1. (1 other version)Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.
    In spite of a powerful tradition, more than two thousand years old, that in a valid argument the premises must be relevant to the conclusion, twentieth-century logicians neglected the concept of relevance until the publication of Volume I of this monumental work. Since that time relevance logic has achieved an important place in the field of philosophy: Volume II of Entailment brings to a conclusion a powerful and authoritative presentation of the subject by most of the top people working in (...)
    Download  
     
    Export citation  
     
    Bookmark   187 citations  
  • A Completeness Theorem for the Lambek Calculus of Syntactic Categories.Kosta Došen - 1985 - Mathematical Logic Quarterly 31 (14-18):235-241.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • The semantics of entailment — III.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (2):192 - 208.
    Download  
     
    Export citation  
     
    Bookmark   90 citations  
  • Sequent-systems for modal logic.Kosta Došen - 1985 - Journal of Symbolic Logic 50 (1):149-168.
    The purpose of this work is to present Gentzen-style formulations of S5 and S4 based on sequents of higher levels. Sequents of level 1 are like ordinary sequents, sequents of level 1 have collections of sequents of level 1 on the left and right of the turnstile, etc. Rules for modal constants involve sequents of level 2, whereas rules for customary logical constants of first-order logic with identity involve only sequents of level 1. A restriction on Thinning on the right (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Gupta's rule of revision theory of truth.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (1):103-116.
    Gupta’s Rule of Revision theory of truth builds on insights to be found in Martin and Woodruff and Kripke in order to permanently deepen our understanding of truth, of paradox, and of how we work our language while our language is working us. His concept of a predicate deriving its meaning by way of a Rule of Revision ought to impact significantly on the philosophy of language. Still, fortunately, he has left me something to.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
    Download  
     
    Export citation  
     
    Bookmark   194 citations  
  • Multisets and relevant implication I.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (2):107 – 139.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Models for entailment.Kit Fine - 1974 - Journal of Philosophical Logic 3 (4):347 - 372.
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • Semantics for relevant logics.Alasdair Urquhart - 1972 - Journal of Symbolic Logic 37 (1):159-169.
    Download  
     
    Export citation  
     
    Bookmark   97 citations  
  • (1 other version)Formal Logic.Arthur N. Prior & Norman Prior - 1955 - Oxford,: Oxford University Press.
    This book was designed primarily as a textbook; though the author hopes that it will prove to be of interests to others beside logic students. Part I of this book covers the fundamentals of the subject the propositional calculus and the theory of quantification. Part II deals with the traditional formal logic and with the developments which have taken that as their starting-point. Part III deals with modal, three-valued, and extensional systems.
    Download  
     
    Export citation  
     
    Bookmark   88 citations  
  • Completeness Results for Lambek Syntactic Calculus.Wojciech Buszkowski - 1986 - Mathematical Logic Quarterly 32 (1-5):13-28.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
    Download  
     
    Export citation  
     
    Bookmark   112 citations  
  • Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
    Download  
     
    Export citation  
     
    Bookmark   93 citations  
  • (2 other versions)The semantics of entailment II.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (1):53 - 73.
    Download  
     
    Export citation  
     
    Bookmark   90 citations