Syntactical investigations intoBI logic andBB′I logic

Studia Logica 53 (3):397 - 416 (1994)

In this note, we will study four implicational logicsB, BI, BB and BBI. In [5], Martin and Meyer proved that a formula is provable inBB if and only if is provable inBBI and is not of the form of » . Though it gave a positive solution to theP - W problem, their method was semantical and not easy to grasp. We shall give a syntactical proof of the syntactical relation betweenBB andBBI logics. It also includes a syntactical proof of Powers and Dwyer's theorem that is proved semantically in [5]. Moreover, we shall establish the same relation betweenB andBI logics asBB andBBI logics. This relation seems to say thatB logic is meaningful, and so we think thatB logic is the weakest among meaningful logics. Therefore, by Theorem 1.1, our Gentzentype system forBI logic may be regarded as the most basic among all meaningful logics. It should be mentioned here that the first syntactical proof ofP - W problem is given by Misao Nagayama [6].
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01057936
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: 47,350
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

Logics Without the Contraction Rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
The Collected Papers of Gerhard Gentzen.G. Kreisel - 1971 - Journal of Philosophy 68 (8):238-265.
Solution to the P − W Problem.E. P. Martin & R. K. Meyer - 1982 - Journal of Symbolic Logic 47 (4):869-887.
Predicate Logics Without the Structure Rules.Yuichi Komori - 1986 - Studia Logica 45 (4):393 - 404.

Add more references

Citations of this work BETA

A Note on Decision Problems for Implicational Sequent Calculi.Norihiro Kamide - 2001 - Bulletin of the Section of Logic 30 (3):129-138.
A Lambda Proof of the P-W Theorem.Sachio Hirokawa, Yuichi Komori & Misao Nagayama - 2000 - Journal of Symbolic Logic 65 (4):1841-1849.

Add more citations

Similar books and articles

A Universal Logic Approach to Adaptive Logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Implicational F-Structures and Implicational Relevance Logics.A. Avron - 2000 - Journal of Symbolic Logic 65 (2):788-802.
A Lambda Proof of the P-W Theorem.Sachio Hirokawa, Yuichi Komori & Misao Nagayama - 2000 - Journal of Symbolic Logic 65 (4):1841-1849.
Deduction Theorems for RM and its Extensions.Marek Tokarz - 1979 - Studia Logica 38 (2):105 - 111.
Uniqueness of Normal Proofs in Implicational Intuitionistic Logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.
Some Syntactical Properties of Intermediate Predicate Logics.Nobu-Yuki Suzuki - 1990 - Notre Dame Journal of Formal Logic 31 (4):548-559.
Relational Proof System for Relevant Logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.


Added to PP index

Total views
23 ( #412,065 of 2,291,120 )

Recent downloads (6 months)
1 ( #829,891 of 2,291,120 )

How can I increase my downloads?


My notes

Sign in to use this feature