A concise axiomatization of RM→

, , &
Bulletin of the Section of Logic 30 (4):191-194 (2001)
  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: 93,990

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

John Arnold Kalman. Automated reasoning with Otter. With a foreword by Larry Wos. Rinton Press, Princeton 2001, xv + 536 pp. + CD-ROM. [REVIEW]Dale Myers - 2002 - Bulletin of Symbolic Logic 8 (3):428-429.
Larry Wos and Gail W. Pieper. A fascinating country in the world of computing—your guide to automated reasoning. World Scientific, Singapore, New Jersey, London, Hong Kong, 1999, 608 pp.L. Wos, G. W. Pieper & Robert K. Meyer - 2007 - Bulletin of Symbolic Logic 13 (3):359-361.
A simple axiomatization of Lukasiewicz's modal logic.Zdzis law Dywan - 2012 - Bulletin of the Section of Logic 41 (3/4):149-153.
Review: Larry Wos, Automated Reasoning: 33 Basic Research Problems. [REVIEW]William M. Farmer - 1988 - Journal of Symbolic Logic 53 (4):1258-1259.
A Method Of Axiomatization Of Luaksiewicz Logics.Marek Tokarz - 1974 - Bulletin of the Section of Logic 3 (2):21-24.
A new axiomatization of K t.Heinrich Wansing - 1996 - Bulletin of the Section of Logic 25:60-62.
There are 2ω with the relevance between R and RM.Wieslaw Dziobiak - 1982 - Bulletin of the Section of Logic 11 (3-4):161-166.
Deduction Theorems For Rm And Its Extensions.Marek Tokarz - 1977 - Bulletin of the Section of Logic 6 (2):67-69.
Axiomatization of the sentential logic dual to Sobocinski's n-valued logic.Anetta Górnicka - 2011 - Bulletin of the Section of Logic 40 (1/2):47-54.
The Gentzen Type Axiomatization of Some Three-valued Propositional Logic.Andrzej Zbrzezny - 1988 - Bulletin of the Section of Logic 17 (2):70-73.

Analytics

Added to PP
2014-01-19

Downloads
30 (#520,961)

6 months
6 (#700,872)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Branden Fitelson
Northeastern University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references