O sistema RM3 e os paradoxos da implicação material
Resumen
Existe uma ampla classe de lógicas da relevância, dentre elas podemos citar o Sistema Rde Anderson e Belnap [1], tais lógicas foram inspiradas pela avaliação de sentenças condicionais em que o antecedente precisa ser relevante para o consequente. [...]
Descargas
Los datos de descargas todavía no están disponibles.
Citas
Anderson, A. R. and Belnap, Jr, N. D.:EntailmentVol. 1: The Logic of Relevance andNecessity. Princeton University Press, Princeton NJ, 1975.
Baker-Finch, C. A. Relevance and contraction: a logical basis for stricness and sharing analysis.Information Sciences Technical Report, University of Canberra, 1993.
Brady, R. T. Completeness proofs for the systems RM3 and BN4.Logique et Analyse, 25,9-32. 1982.
Descargas
Publicado
2021-12-20
Número
Sección
Resumos
