A note on the decidability of a strong relevant logic

Studia Logica 44 (2):159 - 164 (1985)
  Copy   BIBTEX

Abstract

A modified filtrations argument is used to prove that the relevant logic S of [2] is decidable.

Categories

Keywords

Reprint years

DOI

10.1007/bf00379764

Other Versions

No versions found

Links

PhilArchive



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

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

Decidability of Inquisitive Modal Logic via Filtrations.Stipe Marić & Tin Perkov - forthcoming - Studia Logica:1-19.
Monodic packed fragment with equality is decidable.Ian Hodkinson - 2002 - Studia Logica 72 (2):185-197.
The completeness of S.Harry Deutsch - 1979 - Studia Logica 38 (2):137 - 147.
Decidability for branching time.John P. Burgess - 1980 - Studia Logica 39 (2-3):203-218.
Brouwer-Zadeh logic, decidability and bimodal systems.Roberto Giuntini - 1992 - Studia Logica 51 (1):97 - 112.
DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations.Anita Wasilewska - 1984 - Studia Logica 43 (4):395 - 404.
Decidability by filtrations for graded normal logics (graded modalities V).Claudio Cerrato - 1994 - Studia Logica 53 (1):61 - 73.
Some Metacomplete Relevant Modal Logics.Takahiro Seki - 2013 - Studia Logica 101 (5):1115-1141.
On the decidability of implicational ticket entailment.Katalin Bimbó & J. Michael Dunn - 2013 - Journal of Symbolic Logic 78 (1):214-236.
The γ-admissibility of Relevant Modal Logics I — The Method of Normal Models.Takahiro Seki - 2011 - Studia Logica 97 (2):199-231.

Analytics

Added to PP
2009-01-28

Downloads
46 (#486,196)

6 months
11 (#364,844)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Harry Deutsch
Illinois State University

Citations of this work

Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.

Add more citations

References found in this work

The undecidability of entailment and relevant implication.Alasdair Urquhart - 1984 - Journal of Symbolic Logic 49 (4):1059-1073.
Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.
Paraconsistent analytic implication.Harry Deutsch - 1984 - Journal of Philosophical Logic 13 (1):1 - 11.

View all 9 references / Add more references