A formalization of the Lewis system S1 without rules of substitution.

Título inglés	A formalization of the Lewis system S1 without rules of substitution.
Título español	Formalización del sistema S1 de Lewis sin reglas de sustitución.
Autor/es	Pla Carrera, Josep
Organización	Dep. Estad. Mat. Univ. Barcelona, Barcelona, España
Revista	0210-7821
Publicación	1979, 3 (1): 39-45, 5 Ref.
Tipo de documento	articulo
Idioma	Inglés
Resumen inglés	In the Lewis and Langford formalization of system S1 (1932), besides the deduction rules, the substitution rules are as well used: the uniform substitution and the substitution of strict equivalents. They then obtain systems S2, S3, S4 and S5 adding to the axioms of S1 a new axiom, respectively, without changing the deduction rules. Lemmon (1957) gives a new formalization of systems S1-S5, calling them P1-P5. Is is worthwhile to remark that in the formalization of P2-P5 one does not use any more the substitution of equivalentsrule, although Lemmon still maintains the uniform substitution rule. Anyhow Lemmon system P1 uses the substitution of equivalents rule in addition to uniform substitution rule. Moreover these substitution rules have been used later by Feys (1965), Hughes and Cresswell (1968), Zeman (1973) to construct Lewis modal systems. This paper deals with a new formalization of S1 system, following Lemmon's ideas, without substitution rules.
Clasificación UNESCO	110209
Palabras clave español	Lógica modal ; Lógica simbólica ; Sistemas lógicos de Lewis
Código MathReviews	MR0562439
Código Z-Math	Zbl 0426.03027
Acceso al artículo completo