The product of implication and counter-implication systems

Notre Dame Journal of Formal Logic 11 (2):241-248 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093893942

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Grafting modalities onto substructural implication systems.Marcello D'agostino, Dov M. Gabbay & Alessandra Russo - 1997 - Studia Logica 59 (1):65-102.
Strong Boethius' thesis and consequential implication.Claudio Pizzi & Timothy Williamson - 1997 - Journal of Philosophical Logic 26 (5):569-588.
The formalization of implication in propositional logic.Patrick F. Schindler - unknown
Priorean strict implication, Q and related systems.Fabrice Correia - 2001 - Studia Logica 69 (3):411-427.
A weak intuitionistic propositional logic with purely constructive implication.Mitsuhiro Okada - 1987 - Studia Logica 46 (4):371 - 382.
Natural Deduction Based upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras.M. Campercholi, D. Castaño & J. P. Díaz Varela - 2011 - Studia Logica 98 (1-2):267-283.
Physicalism and strict implication.Robert Kirk - 2006 - Synthese 151 (3):523-536.
Strict conditionals: A negative result.Jan Heylen & Leon Horsten - 2006 - Philosophical Quarterly 56 (225):536–549.
Natural Implication and Material Implication.Erik Stenius - 1947 - Theoria 13 (2-3):136-156.
Conditionals.Frank Jackson - 1987 - New York: Blackwell. Edited by Michael Devitt & Richard Hanley.
L'Implication Matérielle et L'implication Logique.S. Issman - 1967 - Philosophica 5.
Some defninitions of subjunctive implication, of counterfactual implication, and of related concepts.Rolf Schock - 1961 - Notre Dame Journal of Formal Logic 2 (4):206-221.
A set of axioms for the propositional calculus with implication and converse non-implication.Anjan Shukla - 1965 - Notre Dame Journal of Formal Logic 6 (2):123-128.

Analytics

Added to PP
2010-08-24

Downloads
24 (#656,974)

6 months
3 (#976,504)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Sentence connectives in formal logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.
Extensionality in sentence position.Lloyd Humberstone - 1986 - Journal of Philosophical Logic 15 (1):27 - 54.
Negation by iteration.I. L. Humberstone - 1995 - Theoria 61 (1):1-24.

Add more citations

References found in this work

No references found.

Add more references