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: 91,164

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

Shortest Axiomatizations of Implicational S4 and S.Zachary Ernst, Branden Fitelson, Kenneth Harris & Larry Wos - 2002 - Notre Dame Journal of Formal Logic 43 (3):169-179.
An axiomatization for until and since over the reals without the IRR rule.Mark Reynolds - 1992 - Studia Logica 51 (2):165 - 193.
Axiomatization of 'peircean' branching-time logic.Alberto Zanardo - 1990 - Studia Logica 49 (2):183 - 195.
A Gentzen-style axiomatization for basic predicate calculus.Mojtaba Aghaei & Mohammad Ardeshir - 2003 - Archive for Mathematical Logic 42 (3):245-259.
Commodious axiomatization of quantifiers in multiple-valued logic.Reiner Hähnle - 1998 - Studia Logica 61 (1):101-121.
The origin of relation algebras in the development and axiomatization of the calculus of relations.Roger D. Maddux - 1991 - Studia Logica 50 (3-4):421 - 455.
Alternative axiomatics and complexity of deliberative stit theories.Philippe Balbiani, Andreas Herzig & Nicolas Troquard - 2008 - Journal of Philosophical Logic 37 (4):387 - 406.
Completeness of the infinitary polyadic axiomatization.Isidore Fleischer - 1993 - Mathematical Logic Quarterly 39 (1):197-200.
Rationally Functional Dependence.Pavel Naumov & Brittany Nicholls - 2014 - Journal of Philosophical Logic 43 (2-3):603-616.
A Concise Analysis of Popper's Qualitative Theory of Verisimilitude.Branden Fitelson - unknown
Axiomatization of a Preference for Most Probable Winner.Pavlo R. Blavatskyy - 2006 - Theory and Decision 60 (1):17-33.
On Béziau’s logic Z.Hitoshi Omori & Toshiharu Waragai - 2008 - Logic and Logical Philosophy 17 (4):305-320.
A Non-cooperative Axiomatization of the Core.Akira Okada & Eyal Winter - 2002 - Theory and Decision 53 (1):1-28.
The origins of zermelo's axiomatization of set theory.Gregory H. Moore - 1978 - Journal of Philosophical Logic 7 (1):307 - 329.

Analytics

Added to PP
2014-01-19

Downloads
27 (#554,860)

6 months
3 (#880,460)

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