Completeness of weak implication
Theoria 37 (3):274-282 (1971)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesM. Richard Diaz (1980). Deductive Completeness and Conditionalization in Systems of Weak Implication. Notre Dame Journal of Formal Logic 21 (1):119-130.
Peter Milne (2008). Russell's Completeness Proof. History and Philosophy of Logic 29 (1):31-62.
D. C. McCarty (1996). Undecidability and Intuitionistic Incompleteness. Journal of Philosophical Logic 25 (5):559 - 565.
Mitsuhiro Okada (1987). A Weak Intuitionistic Propositional Logic with Purely Constructive Implication. Studia Logica 46 (4):371 - 382.
Branden Fitelson (2001). Comments on Some Completeness Theorems of Urquhart and Méndez & Salto. Journal of Philosophical Logic 30 (1):51 - 55.
Ross T. Brady (1996). Relevant Implication and the Case for a Weaker Logic. Journal of Philosophical Logic 25 (2):151 - 183.
Kenneth Harris & Branden Fitelson (2001). Comments on Some Completeness Theorems of Urquhart and Méndez & Salto. Journal of Philosophical Logic 30 (1):51-55.
Claudio Pizzi & Timothy Williamson (1997). Strong Boethius' Thesis and Consequential Implication. Journal of Philosophical Logic 26 (5):569-588.
Albert Visser (1981). A Propositional Logic with Explicit Fixed Points. Studia Logica 40 (2):155 - 175.
Diderik Batens (1987). Relevant Implication and the Weak Deduction Theorem. Studia Logica 46 (3):239 - 245.
J. Michael Dunn, Mai Gehrke & Alessandra Palmigiano (2005). Canonical Extensions and Relational Completeness of Some Substructural Logics. Journal of Symbolic Logic 70 (3):713 - 740.
Hiroakira Ono (2012). Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics. Studia Logica 100 (1-2):339-359.
Ross T. Brady (1989). A Content Semantics for Quantified Relevant Logics. II. Studia Logica 48 (2):243 - 257.
Jonathan P. Seldin (2000). On the Role of Implication in Formal Logic. Journal of Symbolic Logic 65 (3):1076-1114.
Analytics
Monthly downloads |
Added to index2010-09-13Total downloads5 ( #160,518 of 549,671 )Recent downloads (6 months)1 ( #63,425 of 549,671 )How can I increase my downloads? |
My notes
Discussion
