Notre Dame Journal of Formal Logic 34 (2):231-250 (1993)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1305/ndjfl/1093634655 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,379
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- projecteuclid.org [3] (no proxy)
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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
Replacing Modus Ponens With One-Premiss Rules.Lloyd Humberstone - 2008 - Logic Journal of the IGPL 16 (5):431-451.
Propositional Glue and the Projection Architecture of LFG.Avery D. Andrews - 2010 - Linguistics and Philosophy 33 (3):141-170.
Logical Friendliness and Sympathy in Logic.David C. Makinson - 2005 - In J. Y. Beziau (ed.), Logica Universalis. Birkhäuser Verlog. pp. 191--205.
A Simple Irredundance Test for Tautological Sequents.Joachim SchrÖder - 1997 - Erkenntnis 46 (2):175-183.
View all 6 citations / Add more citations
Similar books and articles
A Simplified Form of Condensed Detachment.M. W. Bunder - 1995 - Journal of Logic, Language and Information 4 (2):169-173.
Principal Type-Schemes and Condensed Detachment.J. Roger Hindley & David Meredith - 1990 - Journal of Symbolic Logic 55 (1):90-105.
On Categorical Equivalences of Commutative BCK-Algebras.Anatolij Dvurečenskij - 2000 - Studia Logica 64 (1):21-36.
Linearization of the BCK-Logic.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2000 - Studia Logica 65 (1):31-51.
Substructural Implicational Logics Including the Relevant Logic E.Ryo Kashima & Norihiro Kamide - 1999 - Studia Logica 63 (2):181-212.
The Finite Model Property for BCI and Related Systems.Wojciech Buszkowski - 1996 - Studia Logica 57 (2-3):303 - 323.
A Note on Freedom From Detachment in the Logic of Paradox.Jc Beall, Thomas Forster & Jeremy Seligman - 2013 - Notre Dame Journal of Formal Logic 54 (1):15-20.
The Simple Substitution Property of Gödel's Intermediate Propositional Logics Sn's.Katsumi Sasaki - 1990 - Studia Logica 49 (4):471 - 481.
On Detachment-Substitutional Formalization in Normal Modal Logics.Wieslaw Dziobiak - 1977 - Studia Logica 36 (3):165 - 171.
Analytics
Added to PP index
2010-08-24
Total views
28 ( #410,740 of 2,519,659 )
Recent downloads (6 months)
4 ( #166,923 of 2,519,659 )
2010-08-24
Total views
28 ( #410,740 of 2,519,659 )
Recent downloads (6 months)
4 ( #166,923 of 2,519,659 )
How can I increase my downloads?
Downloads
