An alternative Gentzenisation of RW+∘

Mathematical Logic Quarterly 62 (6):465-480 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.201400084

Other Versions

No versions found

Links

PhilArchive



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

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

A note on the system GRW with the intensional contraction rule.Mirjana Ilić & Branislav Boričić - 2021 - Logic Journal of the IGPL 29 (3):333-339.
A note on an alternative Gentzenization of RW+∘.Mirjana Ilić - 2021 - Mathematical Logic Quarterly 67 (2):186-192.
Alternative Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1978 - Mathematical Logic Quarterly 24 (25‐30):443-444.
Alternative Characterizations of Precomplete Numerations.Akira Kanda & Alistair H. Lachlan - 1987 - Mathematical Logic Quarterly 33 (2):97-100.
An alternative concept of the universal decision element in m -valued logic.John Loader - 1975 - Mathematical Logic Quarterly 21 (1):369-375.
A More Natural Alternative to Mostowski's (MFL).A. P. Rao - 1976 - Mathematical Logic Quarterly 23 (25‐26):387-392.
On semilattice relevant logics.Ryo Kashima - 2003 - Mathematical Logic Quarterly 49 (4):401.
An Alternative Way of Avoiding the Set‐Theoretical Paradoxes.H. L. Skala - 1974 - Mathematical Logic Quarterly 20 (13‐18):233-237.
Modal Undefinability in Some Alternative Leibnizian Frames.R. E. Jennings, J. M. Pelham & R. R. O'Toole - 1988 - Mathematical Logic Quarterly 34 (1):19-24.

Analytics

Added to PP
2017-03-26

Downloads
23 (#942,055)

6 months
10 (#411,161)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A note on an alternative Gentzenization of RW+∘.Mirjana Ilić - 2021 - Mathematical Logic Quarterly 67 (2):186-192.

Add more citations

References found in this work

Foundations of Mathematical Logic.William Craig - 1963 - Journal of Symbolic Logic 45 (2):377-378.
TW+ and RW+ are decidable.Steve Giambrone - 1985 - Journal of Philosophical Logic 14 (3):235 - 254.
Multisets and relevant implication I.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (2):107 – 139.
The gentzenization and decidability of RW.Ross T. Brady - 1990 - Journal of Philosophical Logic 19 (1):35 - 73.
New Consecution Calculi for R→t.Katalin Bimbó & J. Michael Dunn - 2012 - Notre Dame Journal of Formal Logic 53 (4):491-509.

View all 7 references / Add more references