O sistema RM3 e os paradoxos da implicação material

Giovanna Dias Cardoso, Luiz Henrique da Cruz Silvestrini

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. [...]


Texto completo:

PDF

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.


Apontamentos

  • Não há apontamentos.


SBMAC - Sociedade de Matemática Aplicada e Computacional
Edifício Medical Center - Rua Maestro João Seppe, nº. 900, 16º. andar - Sala 163 | São Carlos/SP - CEP: 13561-120
 


Normas para publicação | Contato