English Version

 


  • The turnstile package,
    by Arthur Buchsbaum and Francisco Reinaldo

    The PracTeX Journal, no 3, 2007.
    Internet: http://tug.ctan.org/tex-archive/macros/latex/contrib/turnstile.


    Abstract: Among other uses, the turnstile symbol is utilized by logicians for denoting a consequence relation, with respect to a given logic, between collections of formulas and formulas. The lack of a routine in standard LaTeX for issuing adequately this symbol has motivated this package, through which many forms of this sign can be designed, together with the option of putting additional data below and above this symbol, whenever necessary.


  • O pacote turnstile,
    by Arthur Buchsbaum and Francisco Reinaldo

    The PracTeX Journal, no 3, 2007.
    Internet: http://tug.ctan.org/tex-archive/macros/latex/contrib/turnstile/turnstile-pt.


    Abstract: It is the Portuguese version of "The turnstile package".


  • An automated prover by tableaux for calculi C1 and C1* of Newton da Costa,
    by Arthur Buchsbaum

    From Master’s Thesis “Um Método Automático de Prova para a Lógica Paraconsistente”, presented in 1988.


    Download (5 Kbytes)

    Code recovered in 2009, from a djvu scanning, thanks to Professor Adolfo Neto and his students. The original work was attacked by virus.

  • The turnstile package,
    de Arthur Buchsbaum e Francisco Reinaldo

    The PracTeX Journal, nº 3, 2007.
    Internet: http://tug.ctan.org/tex-archive/macros/latex/contrib/turnstile.


    Resumo: Entre outros usos, a barra de Frege é utilizada pelos lógicos para denotar uma relação de conseqüência, com respeito a uma dada lógica, entre coleções de fórmulas e fórmulas. A carência de uma rotina no LaTeX padrão para desenhar adequadamente este símbolo motivou este pacote, com o qual várias formas deste sinal podem ser bem desenhadas, juntamente com a possibilidade de colocar dados adicionais acima e abaixo deste símbolo, quando necessário.


  • O pacote turnstile,
    de Arthur Buchsbaum e Francisco Reinaldo

    The PracTeX Journal, nº 3, 2007.
    Internet: http://tug.ctan.org/tex-archive/macros/latex/contrib/turnstile/turnstile-pt.


    Resumo: É a versão em português de "The turnstile package".

  • Um provador automático por tablôs para os cálculos C1 e C1* de Newton da Costa,
    de Arthur Buchsbaum

    Da Dissertação de Mestrado “Um Método Automático de Prova para a Lógica Paraconsistente”, defendida em 1988.


    Baixar (5 Kbytes)

    Código recuperado em 2009, a partir da digitalização em djvu, graças ao professor Adolfo Neto e seus alunos, pois o trabalho original tinha sido atacado por vírus.

 UFSC - INE Desenvolvimento: Andressa Sebben