Exhaustively Axiomatizing S3°→ and S4°→

, &
Teorema: International Journal of Philosophy 27 (2):79-89 (2008)
  Copy   BIBTEX

Abstract

S3o and S4o are the restrictions with the Converse Ackermann Property of the implicative fragments of Lewis' S3 and S4 respectively. The aim of this paper is to provide all possible axiomatizations with independent axioms of S3o and S4o that can be formulated with a modification of Anderson and Belnap's list of valid entailments.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Exhaustively Axiomatizing S3 (->) degrees and S4 (->) degrees.Gemma Robles, Francisco Salto & Jose M. Mendez - 2008 - Teorema: International Journal of Philosophy 27 (2):79-89.
Exhaustively axiomatizing rmo→ with a select list of representative theses including restricted Mingle principles.Francisco Salto, Gemma Robles & José M. Méndez - 1999 - Bulletin of the Section of Logic 28 (4):195-206.
Exhaustively axiomatizing RMO with an appropiate extensión of Anderson and Belnap's "strong and natural list of valid entailments".José Manuel Méndez Rodríguez - 1990 - Theoria 5 (12):223-228.
Axiomatizing s4+ and j+ without the suffixing, prefixing and self-distribution of the conditional axioms.Gemma Robles & José M. Méndez - 2010 - Bulletin of the Section of Logic 39 (1/2):79-91.
Exhaustively axiomatizing RMO with an appropiate extension of Anderson and Belnap's “strong and natural list of valid entailments”.José M. Méndez - 1990 - Theoria 5 (1):223-228.
Adding the Disjunctive Syllogism to Relevant Logics Including TW Plus the Contraction and Reductio Rules.Jose M. Mendez, Gemma Robles & Francisco Salto - 2011 - Logique Et Analyse 54 (215):343-358.
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
A constructive negation defined with a negation connective for logics including Bp+.Gemma Robles, Francisco Salto & José M. Méndez - 2005 - Bulletin of the Section of Logic 34 (3):177-190.
A weak logic with the axiom Mingle lacking the variable-sharing property.Gemma Robles, Francisco Salto & José M. Méndez - 2011 - Bulletin of the Section of Logic 40 (3/4):195-202.
The basic constructive logic for negation-consistency defined with a propositional falsity constant.José M. Méndez, Gemma Robles & Francisco Salto - 2007 - Bulletin of the Section of Logic 36 (1-2):45-58.
Restricting the contraction axiom in Dummett's LC: a sublogic of LC with the Converse Ackermann Property, the logic LCo.Francisco Salto, José M. Méndez & Gemma Robles - 2001 - Bulletin of the Section of Logic 30 (3):139-146.
Axiomatizing E→ and R→ with Anderson and Belnap's 'strong and natural'list of valid entailments.José M. Méndez - 1987 - Bulletin of the Section of Logic 16 (1):2-7.
El sistema Bp+: una lógica positiva mínima para la negación mínima.José Manuel Méndez Rodríguez, Francisco Salto Alemany & Gemma Robles Vázquez - 2007 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (1):81-92.
Four kinds of subminimal negation within the context of the basic positive logic b+ Jose M. Mendez, francisco Salto and Pedro Mendez R.Jose M. Mendez - 2002 - Logique Et Analyse 45 (178):119-128.
On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407 - 428.

Analytics

Added to PP
2013-12-29

Downloads
21 (#715,461)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

José M. Méndez
Universidad de Salamanca
Francisco Salto
Universidad de León
Gemma Robles
Universidad de León

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references