Decision procedures for logics of consequential implication

Notre Dame Journal of Formal Logic 32 (4):618-636 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093635934

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,589

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

Consequential implication. A correction to: "Decision procedures for logics of consequential implication".Claudio Pizzi - 1993 - Notre Dame Journal of Formal Logic 34 (4):621-624.
A decision procedure for positive implication.Michael D. Resnik - 1962 - Notre Dame Journal of Formal Logic 3 (3):179-186.
Decision procedures for S2° and T°.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5:319.
A matrix decision procedure for three modal logics.Adrian Larner - 1979 - Notre Dame Journal of Formal Logic 20 (3):599-602.
Decision procedures for Lewis system S1 and related modal systems.Anjan Shukla - 1970 - Notre Dame Journal of Formal Logic 11 (2):141-180.
Errata: ``Decision procedures for Lewis system $S1$ and related modal systems''.Anjan Shukla - 1973 - Notre Dame Journal of Formal Logic 14 (4):584-584.
The product of implication and counter-implication systems.Rangaswamy V. Setlur - 1970 - Notre Dame Journal of Formal Logic 11 (2):241-248.
McCall Storrs. A simple decision procedure for one-variable implication/negation formulae in intuitionist logic. Notre Dame journal of formal logic, vol. 3 , pp. 120–122. [REVIEW]Gene F. Rose - 1964 - Journal of Symbolic Logic 29 (4):212-213.
Quantum logic with implication.J. Jay Zeman - 1979 - Notre Dame Journal of Formal Logic 20 (4):723-728.
The transitivity of implication in tree logic.N. L. Wilson - 1983 - Notre Dame Journal of Formal Logic 24 (1):106-114.

Analytics

Added to PP
2010-08-24

Downloads
34 (#805,014)

6 months
10 (#567,971)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Strictness and connexivity.Andrea Iacona - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (10):1024-1037.
Classical Logic Is Connexive.Camillo Fiore - 2024 - Australasian Journal of Logic (2):91-99.
Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.
The Implicative Conditional.Eric Raidl & Gilberto Gomes - 2024 - Journal of Philosophical Logic 53 (1):1-47.

View all 14 citations / Add more citations

References found in this work

No references found.

Add more references