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)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,038

External links

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

Through your library

Similar books and articles

Strong Boethius' thesis and consequential implication.Claudio Pizzi & Timothy Williamson - 1997 - Journal of Philosophical Logic 26 (5):569-588.
Aristotle’s Cubes and Consequential Implication.Claudio Pizzi - 2008 - Logica Universalis 2 (1):143-153.
On decision procedures for sentential logics.Tomasz Skura - 1991 - Studia Logica 50 (2):173 - 179.
Natural Deduction Based upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
Bimodal logics for extensions of arithmetical theories.Lev D. Beklemishev - 1996 - Journal of Symbolic Logic 61 (1):91-124.
Refutation systems in modal logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.
Lewis Dichotomies in Many-Valued Logics.Simone Bova - 2012 - Studia Logica 100 (6):1271-1290.

Analytics

Added to PP
2010-08-24

Downloads
12 (#1,086,830)

6 months
3 (#979,100)

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.
The Implicative Conditional.Eric Raidl & Gilberto Gomes - 2023 - Journal of Philosophical Logic 53 (1):1-47.
Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.
Classical Logic Is Connexive.Camillo Fiore - forthcoming - Australasian Journal of Logic.
Strong Boethius' thesis and consequential implication.Claudio Pizzi & Timothy Williamson - 1997 - Journal of Philosophical Logic 26 (5):569-588.

View all 13 citations / Add more citations

References found in this work

No references found.

Add more references