A structurally complete fragment of relevant logic

&
Notre Dame Journal of Formal Logic 33 (4):561-566 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093634487

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,793

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

${\cal K}$ and ${\cal Z}$.George F. Schumm - 1974 - Notre Dame Journal of Formal Logic 15 (2):295-297.
Putting "K" in its place.George F. Schumm - 1978 - Notre Dame Journal of Formal Logic 19:623.
On Yablonskii theory concerning functional completeness of $k$-valued logic.Kanzo Hino - 1977 - Notre Dame Journal of Formal Logic 18 (2):251-254.
Putting ${\cal K}$ in its place.George F. Schumm - 1978 - Notre Dame Journal of Formal Logic 19 (4):623-628.
BCK is not Structurally Complete.Tomasz Kowalski - 2014 - Notre Dame Journal of Formal Logic 55 (2):197-204.
Family ${\rm K}$ of the non-Lewis modal systems.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (4):313-318.
Some remarks about the family "K" of modal systems.Włodzimierz Rabinowicz - 1980 - Notre Dame Journal of Formal Logic 21:429-448.
Tense trees: a tree system for ${\rm K}_{{\rm t}}$.B. J. Copeland - 1983 - Notre Dame Journal of Formal Logic 24 (3):318-322.
A generalised Kleene-Rosser paradox for a system containing the combinator ${\bf K}$.M. W. Bunder - 1973 - Notre Dame Journal of Formal Logic 14 (1):53-54.

Analytics

Added to PP
2010-08-24

Downloads
26 (#835,533)

6 months
5 (#1,012,768)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Admissible Rules and the Leibniz Hierarchy.James G. Raftery - 2016 - Notre Dame Journal of Formal Logic 57 (4):569-606.
On Rules.Rosalie Iemhoff - 2015 - Journal of Philosophical Logic 44 (6):697-711.
Fragments of R-Mingle.W. J. Blok & J. G. Raftery - 2004 - Studia Logica 78 (1-2):59-106.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references