Notre Dame Journal of Formal Logic 31 (2):232-240 (1990)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1305/ndjfl/1093635418
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,707
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

No references found.

Add more references

Citations of this work BETA

Satisfiability on Hypergraphs.Adam Kolany - 1993 - Studia Logica 52 (3):393-404.
2-CNFS and Logical Embeddings.Robert Cowen - 2009 - Studia Logica 93 (1):15-19.

Add more citations

Similar books and articles

Two Hypergraph Theorems Equivalent to ${\Rm BPI}$.Robert H. Cowen - 1990 - Notre Dame Journal of Formal Logic 31 (2):232-240.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Deduction Theorems for Weak Implicational Logics.M. W. Bunder - 1982 - Studia Logica 41 (2-3):95 - 108.
On Some Theorems Equivalent with the Axiom of Choice.Bernhard Banaschewski - 1961 - Mathematical Logic Quarterly 7 (17‐18):279-282.
Four Relevant Gentzen Systems.Steve Giambrone & Aleksandar Kron - 1987 - Studia Logica 46 (1):55 - 71.
Indirect-Deduction Theorems.S. J. Surma - 1967 - Studia Logica 20 (1):164-166.
Separation and Weak König's Lemma.A. James Humphreys & Stephen G. Simpson - 1999 - Journal of Symbolic Logic 64 (1):268-278.
The 3-Stratifiable Theorems Of.Marcel Crabbé - 1999 - Notre Dame Journal of Formal Logic 40 (2):174-182.

Analytics

Added to PP index
2014-04-07

Total views
7 ( #966,454 of 2,333,192 )

Recent downloads (6 months)
1 ( #587,885 of 2,333,192 )

How can I increase my downloads?

Downloads

My notes