Relevant analytic tableaux

Studia Logica 38:187 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00370441

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,010

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

Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.
Analytic Calculi for Circular Concepts by Finite Revision.Riccardo Bruni - 2013 - Studia Logica 101 (5):915-932.
Truth or Consequences: Essays in Honor of Nuel Belnap.J. Michael Dunn & Anil Gupta - 1993 - Studia Logica 52 (3):483-484.
The relative complexity of analytic tableaux and SL-resolution.André Vellino - 1993 - Studia Logica 52 (2):323 - 337.
Combinatorial Analytic Tableaux.Robert Cowen - 1993 - Reports on Mathematical Logic:29-39.
Rules in relevant logic — II: Formula representation.Ross T. Brady - 1993 - Studia Logica 52 (4):565 - 585.
BELNAP, N. D. and STEEL, T. B. "The Logic of Questions and Answers". [REVIEW]Martin Bell - 1979 - Mind 88 (350):297.
The Logic of Questions and Answers by N. D. Belnap and T. B. Steel. [REVIEW]Martin Bell - 1979 - Mind 88 (350):297-299.
Time and modality in the logic of agency.Brian F. Chellas - 1992 - Studia Logica 51 (3-4):485 - 517.
Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B.Sandra M. López - forthcoming - Logic and Logical Philosophy:29-56.

Analytics

Added to PP
2017-02-21

Downloads
14 (#1,276,532)

6 months
4 (#1,247,585)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nuel Belnap
University of Pittsburgh

Citations of this work

Multisets and relevant implication I.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (2):107 – 139.
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).
Cut and gamma I: Propositional and constant domain R.Yale Weiss - 2020 - Review of Symbolic Logic 13 (4):887-909.

Add more citations

References found in this work

No references found.

Add more references