Exhaustively axiomatizing S3-> and S4-> with a select list of representative theses

Bulletin of the Section of Logic 17 (1):15-20 (1988)
  Copy   BIBTEX

Abstract

This paper is a sequel to [2]. We extend Anderson and Belnap’s list with the characteristic axioms of S3→ and S4→ . Then we exhaustively axiomatize these systems with the list thus extended

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

1. Select list of representative theses.José M. Mendez - 1988 - Bulletin of the Section of Logic 17 (1):15-20.
Exhaustively Axiomatizing S3°→ and S4°→.Gemma Robles, Francisco Salto & José M. Méndez - 2008 - Teorema: International Journal of Philosophy 27 (2):79-89.
Exhaustively Axiomatizing S3 (->) degrees and S4 (->) degrees.Gemma Robles, Francisco Salto & Jose M. Mendez - 2008 - Teorema: International Journal of Philosophy 27 (2):79-89.
Philosophy After Quine.Bernard Linsky - forthcoming - Eidos: Revista de Filosofía de la Universidad Del Norte 13.
Pushmi-pullyu representations.Ruth Garrett Millikan - 1995 - Philosophical Perspectives 9:185-200.
Part-list reexposure and release of retrieval inhibition.H. B., R. D. & J. M. - 2003 - Consciousness and Cognition 12 (3):354-375.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

José M. Méndez
Universidad de Salamanca

Citations of this work

Paraconsistent logics included in Lewis’ S4.Gemma Robles & José M. Méndez - 2010 - Review of Symbolic Logic 3 (3):442-466.

Add more citations

References found in this work

No references found.

Add more references