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

Links

PhilArchive



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

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.
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.
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse.Linh Anh Nguyen & Andrzej Szałas - 2011 - Studia Logica 98 (3):387-428.
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.
Grafting modalities onto substructural implication systems.Marcello D'agostino, Dov M. Gabbay & Alessandra Russo - 1997 - Studia Logica 59 (1):65-102.
Adaptive versus veridical decision making and the frontal lobes.Elkhonon Goldberg & Kenneth Podell - 1999 - Consciousness and Cognition 8 (3):364-377.
Shortcuts and dynamic marking in the tableau method for adaptive logics.Diderik Batens & Joke Meheus - 2001 - Studia Logica 69 (2):221-248.
Refutation systems in modal logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.
Statistics as Inductive Inference. Romeijn, J.-W. - unknown
Lewis Dichotomies in Many-Valued Logics.Simone Bova - 2012 - Studia Logica 100 (6):1271-1290.

Analytics

Added to PP
2010-08-24

Downloads
11 (#1,070,627)

6 months
3 (#880,460)

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.
Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.
The Implicative Conditional.Eric Raidl & Gilberto Gomes - 2023 - Journal of Philosophical Logic 53 (1):1-47.
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