O sistema RM3 e os paradoxos da implicação material
Resumo
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. [...]
Downloads
Não há dados estatísticos.
Referências
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.
