A tableau system for positive relevant implication

Bulletin of the Section of Logic 6:131-133 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.
Defining relevant implication in a propositionally quantified S.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (4):1057-1069.
Gts and interrogative tableaux.Stephen Harris - 1994 - Synthese 99 (3):329 - 343.
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
Grafting modalities onto substructural implication systems.Marcello D'agostino, Dov M. Gabbay & Alessandra Russo - 1997 - Studia Logica 59 (1):65-102.
The Systems of Relevance Logic.Ryszard Mirek - 2011 - Argument: Biannual Philosophical Journal 1 (1):87-102.
Propositional logic extended with a pedagogically useful relevant implication.Diderik Batens - 2014 - Logic and Logical Philosophy 23 (3).
Tableaux sin refutación.Tomás Barrero & Walter Carnielli - 2005 - Matemáticas: Enseñanza Universitaria 13 (2):81-99.
A consecutive calculus for positive relevant implication with necessity.Nuel D. Belnap, Anil Gupta & J. Michael Dunn - 1980 - Journal of Philosophical Logic 9 (4):343-362.
Sets as singularities in the intensional universe.Keith Daynes - 1989 - Studia Logica 48 (1):111 - 128.
Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.

Analytics

Added to PP
2014-02-19

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Michael A. McRobbie
Indiana University, Bloomington

Citations of this work

Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.
Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
Relevance via decomposition.David Makinson - 2017 - Australasian Journal of Logic 14 (3).

Add more citations

References found in this work

No references found.

Add more references